Pursue research goals across distinct routes, track exact claim revisions and evidence dependencies, audit proofs and sources, and record reproducible bounded experiments. Portable skills with optional local Python tooling.
Install
- 1Add it in ChatGPT
Open Plugins in the ChatGPT sidebar (web or desktop), search for “Mathbox” and select +. You'll be asked to sign in to any connected service on first use. Then type @ in a chat to call it.
Skills 10
- Mathbox: Computation Audit
Audit claim-supporting mathematical computation
- Mathbox: Literature Check
Verify or cache a mathematical source
- Mathbox: Manuscript Integrate
Integrate validated mathematics into LaTeX
- Mathbox: Proof Audit
Adversarially audit a mathematical proof
- Mathbox: Proofread Mathematics
Conservative proofreading for mathematical LaTeX
- Mathbox: Research Attempt
Run one bounded mathematical research route
- Mathbox: Research Init
Configure a mathematical research repository
- Mathbox: Research Program
Pursue a goal across multiple research routes
- Mathbox: Research Retrospective
Reconcile project state and choose next routes
- Mathbox: Research State
Track evidence, dependencies and research runs
Things to ask
- “Pursue this conjecture through distinct proof and counterexample routes.”
- “Check which claims depend on this lemma and which evidence is stale.”
- “Audit this proof and isolate the first unproved implication.”