← MathboxSOURCE FILE ARCHIVE
Inside the package
Mathbox · 113 files · 190 KB · Oct 2, 2026 · 00:32 UTC
| File | Size |
|---|---|
.claude-plugin/marketplace.jsonSHA-2564f5717e66cb496ff1c97da1d45d30c4924da56b889ba8a5b23100024d5cda547 | 806 Bytes |
.claude-plugin/plugin.jsonSHA-256a3ed8efe3a9a6694096f279a4e31f458bf019e0a4064562e72b024216b143766 | 842 Bytes |
.codex-plugin/assets/composer-icon.svgSHA-256e527aafd57259e9f782a0c74448af89614d3808e27c72bff929f846bb8bb5e01 | 568 Bytes |
.codex-plugin/assets/logo.svgSHA-256e527aafd57259e9f782a0c74448af89614d3808e27c72bff929f846bb8bb5e01 | 568 Bytes |
.codex-plugin/plugin.jsonSHA-256de278e6000f618f8d8d507bda462f03928e9a6de65d6c48ed576b5e1e17db9aa | 1.5 KB |
.github/workflows/check.ymlSHA-25605ed7bd2de3009a7b615106e8c8b6dc14b35a9841fca3633c8461710b05c29da | 467 Bytes |
.gitignoreSHA-256862263fa1f46c20f0d1e4dac5ffcc75abd55c08211b2c3864c5f8764b9d87793 | 19 Bytes |
AGENTS.mdSHA-256e08f7bfcf39c3f9acc645020255b4c91be0c7e6333ddff110f33d0622d562dc6 | 5.74 KB |
LICENSESHA-256f5cbe3f493cb0f981474e0ae52df3733a1988c5604f1c061a510b5a3da6260d7 | 1.05 KB |
README.mdSHA-256c85af89765e63dff9fbcd3ff8368b84ee0fa2592df71e1e455b67e006dfcfc26 | 11.1 KB |
assets/mathbox.svgSHA-256e527aafd57259e9f782a0c74448af89614d3808e27c72bff929f846bb8bb5e01 | 568 Bytes |
docs/CHANGELOG.mdSHA-256e053e08b7e4183cd16035d74c406db7f60e953a3733a6196637030fddb548080 | 13.7 KB |
docs/design-v3.mdSHA-2564b5cf7a210083ea6f41ae88a41a1f2cc3ec14e7c12254277e4b509385ea8e857 | 10.2 KB |
docs/validation-v3.mdSHA-2562a16b07d953e93c78674fe44385fa35cd1522a1c8817b7488010d1d163db3381 | 7.56 KB |
evals/README.mdSHA-2560a8b53473cae60e7fed56c0e03acc8d81739c7db595756251186895151c03260 | 2.98 KB |
evals/cases.jsonSHA-256d562892dee64568b7308c59f71f85b6e9725076405f8a1b4f01b60308ecac4f0 | 4.2 KB |
evals/fixtures/absolute-grading.mdSHA-2560fdf3ac31a3a8341b3f6b26ea36a8bc71d1d165092caf3efc2db9d1c016b9a4a | 548 Bytes |
evals/fixtures/bounded-tower.mdSHA-25670496109cce7bef495845fde091ab899bd653fc94d93c386983a5b2c54dd007c | 604 Bytes |
evals/fixtures/equivariant-map.mdSHA-256ab21a32e47315d2f7c45665f71717130db6350294868ff91458e6b85defab1e3 | 443 Bytes |
evals/fixtures/inconclusive-continuation.mdSHA-2569212c2a201bfe1a89d8a27fc2326148c66114ffeb599d5d041a26bd2c862c652 | 1.22 KB |
evals/fixtures/modular-rank.mdSHA-2567aef5d393f76df66358f33cb30e4271b084a752008450ed6318433ac8591f00e | 529 Bytes |
evals/fixtures/novelty-vocabulary.mdSHA-256f60c730a3f288167f1039226b41b1f15467e39c1e0841bc8a2146c1adffb0103 | 663 Bytes |
evals/fixtures/parallel-reconciliation.mdSHA-256a683f672402816557ea2a4be6cfdb7c5e4f9d3b887be4849dc9a913eb246a614 | 593 Bytes |
evals/fixtures/prime-binomial.mdSHA-256fc57d8956d7e9b209a34135d1c0046440a21f10b574e289a88545c9e1a7100e2 | 356 Bytes |
evals/fixtures/sampled-enumeration.mdSHA-256664c0a7d1cbc88a0ae4c993b688c76047155065dbec3088e7689c81f0a2821d3 | 500 Bytes |
evals/fixtures/surrogate-domain.mdSHA-25615a0f0dcd403883039a7e212deded3985ad4f930e03b02a44c4cc39a119cab9f | 661 Bytes |
evals/results/v3/artifact-hashes.jsonSHA-256ca974b89b5ac25b4c7fa8f416b9036077b15b91ed8653604e9eb760b93cf2b47 | 396 Bytes |
evals/results/v3/prime-binomial-computation.jsonSHA-25630d4def7a4f8d95ddc8453b62d1ab6450f2ea30b7db91166d799fa90aec92e97 | 1.26 KB |
evals/results/v3/prime-binomial-proof.mdSHA-256f31a02fe51fd09a351a4c5694ce9208cb4a31bb436e9ce1cb3a3dc4084004d02 | 9.61 KB |
evals/results/v3/state-trial-events.jsonSHA-256ff347a1713357aeed2eb8e710a5853ac011c9a1d86df9d723e84da6b00251a6c | 5.67 KB |
evals/results/v3/state-trial-notes.mdSHA-256274d396ade3450ed39ed85891b782e7421b7a5198f6d7b5fcd29c5e85f5c2a41 | 4.55 KB |
scripts/check.pySHA-2564d30832f6458e337030fbedffd0048e966c00841bb38cf540e46be04a3804ad2 | 6.97 KB |
skills/computation-audit/SKILL.mdSHA-256164c72ce67c75bdd8d9f43d3c919b25db4b211fe1bd569abe3e531c10f79beff | 5.83 KB |
skills/computation-audit/agents/openai.yamlSHA-256706742062e7643b7c5b0e7793f1e3d07c01b484a8ad1df3c0f2f8c4177df4770 | 277 Bytes |
skills/computation-audit/assets/computation-manifest.jsonSHA-256c8734bc18eb3a7fb92c2d63ac53b49bf03aa2a61fb7714a3768b1a69ee4037f3 | 641 Bytes |
skills/computation-audit/evals/evals.jsonSHA-2569100a8e200728a48148208dc19efebca86a6e69fd113e923b0c9a932d987a5fd | 3.74 KB |
skills/computation-audit/evals/trigger-evals.jsonSHA-2565b0983bfcc55211e2e545aa858c0bbd35412ae124cc83ad17b0284b7f2d09840 | 651 Bytes |
skills/computation-audit/references/checklist.mdSHA-2564c635720dcf8e698e2477ff1ee5feabc0a9b73b4c6b6176087a136cac7808ded | 1.48 KB |
skills/computation-audit/references/runner.mdSHA-2569d1d4fe0b80a1c58bd4026660dbeaa57bcf6e5251d20d10f524795e133b44df5 | 6.83 KB |
skills/computation-audit/scripts/run_experiment.pySHA-2569f405b1ee477758197218b0e6580d5c1ba4893e90309ca442c57f090dc4514aa | 20.2 KB |
skills/computation-audit/scripts/test_experiments.pySHA-25650a702229ed04d98fd4f7e7a25f009a8952235695a735b98947645f01a005326 | 18.6 KB |
skills/computation-audit/scripts/validate_manifest.pySHA-2561190c474501d82b2ec7f1f38acf3499ccfa8d81779a57b398ad86574619f329f | 19.4 KB |
skills/literature-check/SKILL.mdSHA-256da7e33068758e56056525a1511b536ff9d63d1c860d26e6f45d04277dc584347 | 6.35 KB |
skills/literature-check/agents/openai.yamlSHA-256a45d4b2c8880a0184799f3e9e0a952c34826067e3ff1e41e6d7ec82a5b6dc41d | 265 Bytes |
skills/literature-check/evals/evals.jsonSHA-2567b0b732452e4b930e2a954dfd65c1da932804ba39b2efec54cec42b3809c9df8 | 5.02 KB |
skills/literature-check/evals/trigger-evals.jsonSHA-256aea9e2aeb7aa638a7f88b96d39713e941eb5047c387db7622f2f7160ace5d8b4 | 705 Bytes |
skills/literature-check/references/source-cache.mdSHA-256e96238b70735f3226e8d34f700febb82cb4b8f50c01247e6e9aa5d167f895933 | 4.46 KB |
skills/literature-check/references/source-record.mdSHA-2562035d62bb4d6eefb81a0dcf0a4bbbb88f8ea0dc8bf3619bcdfac6c7257ba692a | 998 Bytes |
skills/literature-check/scripts/literature_cache.pySHA-256b595eaef75e15f3c3c6e8cbf0c096878db29e366644bdec58ede41e9efe39a8b | 30.7 KB |
skills/literature-check/scripts/test_literature_cache.pySHA-256b591f2cbafb6bccf68d65f87665d682b9df9e118977a77359aa6d7727ec52962 | 12.7 KB |
skills/manuscript-integrate/SKILL.mdSHA-256fd851ad1e0b7e702c0e98f3b5a69de530c650ab1a2fabb85b79be54f737d9c93 | 4.68 KB |
skills/manuscript-integrate/agents/openai.yamlSHA-2563ca61cee233ac4a12e25d7889dc7bd3637d4a7a36e7c2de4f6b4ab236e3cbf5a | 282 Bytes |
skills/manuscript-integrate/evals/evals.jsonSHA-256ab213274863e590ef1bd3eefb71c689700aa6084d80263d4c8ec61045b9ec6e6 | 2.88 KB |
skills/manuscript-integrate/evals/trigger-evals.jsonSHA-25611cb7afc5383a7d86c59c23133c97fb33436fff957544663ce48a6995d32b273 | 501 Bytes |
skills/manuscript-integrate/references/integration-checklist.mdSHA-25633b038a1c724e3998ee5ae181c80cf576962115f4e56aa8ba0fa83b6f799b6cf | 903 Bytes |
skills/proof-audit/SKILL.mdSHA-256f3cce9e630f4b7c8619c22528515e4428badc739454f610083b5fb32a0aab227 | 5.6 KB |
skills/proof-audit/agents/openai.yamlSHA-25690ae72484cbe9938d5156dc91e52e5a79fca8979a92d73abae166332cc05c329 | 254 Bytes |
skills/proof-audit/evals/evals.jsonSHA-2565ddac2e01128b3698bc42a6e6ffaa5c6d9ebf69dc45c0f9b05760d31197e6772 | 4.93 KB |
skills/proof-audit/evals/trigger-evals.jsonSHA-25654070ca092047e152d99f646de361c476ba8fafcbba1a7dc48d55700518cd049 | 685 Bytes |
skills/proof-audit/references/obligation-checklists.mdSHA-2563e08c8dc8d5b112c6f6c35f3ab6bb0ba8670bbf019bd55cbd7c31fe3f8dd7412 | 3.39 KB |
skills/proofread-math/SKILL.mdSHA-256cd66d920a76b6a4e23683d423e761c3f3faf9b82e56d8c77d7e3edb5cfaeae98 | 3.98 KB |
skills/proofread-math/agents/openai.yamlSHA-256abac94a51ffd2cb65b1f52483e56d4316f948f73309169d711c76434059ae732 | 275 Bytes |
skills/proofread-math/evals/evals.jsonSHA-256e51584dc4d1d6462bc7015690244462e4cf09c8fa2a244e780fe92e62abf8394 | 2.13 KB |
skills/proofread-math/evals/trigger-evals.jsonSHA-256afec49395c4dff3f336107be96739e8eefeb5e16f6d5282988b1178743c65f32 | 1.22 KB |
skills/proofread-math/references/checklist.mdSHA-256a3dd31d524f8be47f4f38769d5ccc82ba07694d735ee43d8b7996b2054ecd198 | 1.46 KB |
skills/research-attempt/SKILL.mdSHA-25629abdb9d358dcbf5fad6a4611c6381e52c2c572d95f239548151b8ca3cb17c92 | 9.74 KB |
skills/research-attempt/agents/openai.yamlSHA-2567917b9179371b34df116ecb77ecd24916b562094fe71cf16cead98d784bd14bb | 268 Bytes |
skills/research-attempt/evals/evals.jsonSHA-2561da0afd66b5206cc0191e62efec333ace442a299317a4f66547b6d7953d0c36b | 9.85 KB |
skills/research-attempt/evals/trigger-evals.jsonSHA-256c60765149aa89a2cf2f63188849a0779735fc34ce52ff8b643ada6556991ac53 | 1.48 KB |
skills/research-attempt/references/evidence-model.mdSHA-2566594e5d3f1db3f5fde4d2ae5ea921ba84d5b756a37c758c3fd931f5bcb75ca43 | 1.83 KB |
skills/research-attempt/references/project-context.mdSHA-256f90d2de7a7d20bd69043d0c3c18ec8a99087c6fb1ad46c006807f1616e7160b5 | 864 Bytes |
skills/research-attempt/references/route-card.mdSHA-256541df5a284681495ed0db8cea3ffaf004b8d69dff7c916959aaf88064c6c9210 | 2.35 KB |
skills/research-attempt/references/structural-moves.mdSHA-2567e567cf31e8a73a3484f42678cebcb31b176cd74a6cf4fa27a60d98dcca238af | 2.48 KB |
skills/research-init/SKILL.mdSHA-256c5aa7452f8808d2bdc32ab26c28ef2e5c2f9283fc6a0176955b09895facd91a7 | 16.9 KB |
skills/research-init/agents/openai.yamlSHA-2562b0a0ee7bc50970c17823a40252af0657ef09de2ecce6d62aad5866aa19a3322 | 274 Bytes |
skills/research-init/assets/AGENTS.template.mdSHA-2567aa43db3eb5758c5d0fcfb66ca42d2f85ac4d2f2b2474a68783b2c170630d807 | 3.95 KB |
skills/research-init/assets/CLAUDE.mdSHA-2561c0ecbb14b1b6861e9df517c4c772881edc533990046604099c3efea7e9e5114 | 89 Bytes |
skills/research-init/assets/CONVENTIONS.template.mdSHA-256701ef1a2fe2b68fbc729b9452d954a4d98281c0bbd8bd5c67e5a4d18e3da37c0 | 265 Bytes |
skills/research-init/assets/LITERATURE.template.mdSHA-256b1e4f3f4163bf2e3421db3204d9f7e5ed8e039dd2fef4130c8a301a2e1bd920c | 254 Bytes |
skills/research-init/assets/PROJECT_CHARTER.template.mdSHA-256f368729a2688c2be7f6b688033de2eccedb664ca509dba0272bdca9647492509 | 1.06 KB |
skills/research-init/assets/PROOF_OBLIGATIONS.template.mdSHA-2568160c88f9d30ed80bd78631f9bcb5accd0b82d291843575ebacae3e2aa66bacc | 195 Bytes |
skills/research-init/assets/RESEARCH_LOG.template.mdSHA-25650e269bf666c392b538413e41d5accbc8172ca7279e66f996f4b399c1172a512 | 1.15 KB |
skills/research-init/assets/RESEARCH_STATUS.template.mdSHA-256c32cc7050848522b27638bfd51a265a02e38ccdf30c01b6128f6752a312e9876 | 551 Bytes |
skills/research-init/assets/VERIFICATION.template.mdSHA-256aee71255e41ad923a71d9b2e5352a81f1e775dffef7d23d55c8cd2e17f366501 | 335 Bytes |
skills/research-init/evals/evals.jsonSHA-2562a6e31ca022d9a41db3fc1c6515fbd85e008b00c651277b15da4a3056978df98 | 12.3 KB |
skills/research-init/evals/trigger-evals.jsonSHA-256debbb4ab691a3114c37a223ee76ed1472a8b636e54cb48a94b243e64c6387b09 | 1.96 KB |
skills/research-init/references/existing-repo-migration.mdSHA-256417d4634b2fca072e475f93f1826b008b4f6122e6e0fc3108e885e98e1be332d | 8.01 KB |
skills/research-init/references/interview.mdSHA-256867e8dfaf2670aa4631380edd6bc5e4d63a0a5c42f253a3ca5fc03ef819db51c | 3.49 KB |
skills/research-init/references/output-contract.mdSHA-25677644a87149b9568107d644073a9296b4c0e104a32fd2cb0926c5304a050f251 | 6.8 KB |
skills/research-init/references/skill-layer.mdSHA-256c4e9ce5c3cc19c8bf208febd3cd33e71cf4458e489ee217b29adf8ddef8d81f3 | 1.15 KB |
skills/research-init/scripts/inspect_repo.pySHA-25680731e42542ab01cdb2d23bc9a99011f299f3d4ae97d4ee889d06c45e3016be5 | 36.2 KB |
skills/research-init/scripts/test_inspect_repo.pySHA-256ff3eb3f3970314908a829aff81b62996afe6f98dbc01b1201633379e54ba3132 | 9.26 KB |
skills/research-program/SKILL.mdSHA-2560b335ad1e528031870554c4e2e34ff18bf3709860c0066c865d8e41dac741906 | 10.9 KB |
skills/research-program/agents/openai.yamlSHA-25647178451a65ec307c6559eda1e099a9a6b4548f939b9a73a7216ede2510c6e66 | 328 Bytes |
skills/research-program/assets/program-closeout.template.mdSHA-256c8f842934f5e06f30d5e7d20468c07d6c44c21ea396ac2eb39afa629787ceb2b | 1.22 KB |
skills/research-program/evals/evals.jsonSHA-2569146879fb9a97009bb1f46a1551a167a423ccf2edf59071106519130c325cd4d | 12.1 KB |
skills/research-program/evals/trigger-evals.jsonSHA-25685e058611c0f3ed5e2ec9a5502c0c5fdfd100e968eb852f708d38a2800ac11be | 1.91 KB |
skills/research-program/references/handoff.mdSHA-25659b3c829230b91644ade151ea69bd27505144be04c32a1c1a51f271d73d2af0a | 2.05 KB |
skills/research-program/references/program-closeout.mdSHA-2569d6fdd97dd2a01466a5c796e10569d408d825dcce79eef92258e134ea0b337ad | 6.12 KB |
skills/research-program/references/program-protocol.mdSHA-256a8a46c97a3744ceb84b12aaaaeadf65f7de58106c554e8df8fd8be9aef2c816c | 3.14 KB |
skills/research-retrospective/SKILL.mdSHA-256d5081d36448bf544f91b0da9afb518b2da1dbd658c321df821c4c2e1bc1ea586 | 5.77 KB |
skills/research-retrospective/agents/openai.yamlSHA-256368021a8e4c1075c4048ac6f0cfc4073772da3c999fee716d35caf0561d52733 | 305 Bytes |
skills/research-retrospective/evals/evals.jsonSHA-256a5415060616141b9f448c1297934537e51320dcb66c190c6da8ae0052006d963 | 5.65 KB |
skills/research-retrospective/evals/trigger-evals.jsonSHA-2564f6f1f716551ead2b05a445d026a4df38d0714813291abffa74916844a3114ab | 1001 Bytes |
skills/research-state/SKILL.mdSHA-2569826f710bb484f1fb4017c5db2f27e41b14e387e6c0dde0d3702738667b9e0c6 | 10.3 KB |
skills/research-state/agents/openai.yamlSHA-256d6defa8f91151bd1aad2f55690794b62b56af9811f95a914ebe912b1a37df9b4 | 318 Bytes |
skills/research-state/evals/evals.jsonSHA-2563b272ea2cb6c6a29af687dfb4d6a4c69d68f0a297a2b794a98b8c5f4b8750fdf | 14.2 KB |
skills/research-state/evals/trigger-evals.jsonSHA-256f32ed3cfb87d9df6fdec4f6abfc2f0734fe204bad5b4ed83840cdeaaf99d2c85 | 1.63 KB |
skills/research-state/references/deferred-handoff.mdSHA-256fe33200780d85d6a55a18035245b1d109a4fcce81db25398a6edbada7de70414 | 6.6 KB |
skills/research-state/references/ledger.mdSHA-2567e125eb95a478475282c2df1164ce2dcba6afa73b15d38a60c129dd7fd689ea7 | 21.5 KB |
skills/research-state/references/migration.mdSHA-2568369cc5643bcc0ee1ded31e65819de3d87995649113d3d54ac5458744506eda8 | 2.98 KB |
skills/research-state/scripts/research_state.pySHA-25677c450aee94302de373431cf9cf5799c2a9309111058bd16acd0c324eaa6d7b9 | 78.6 KB |
skills/research-state/scripts/test_research_state.pySHA-2560f28dccfcfb706a362118d6ddd0efdbabbbcb576a82c578bf3c920e68c9c0acd | 72.1 KB |
Files are archived as data; their code has not been executed. The package does not include private remote service code.