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.”
Disconnect or uninstall
- 1In ChatGPT
Disconnect an account in Settings → Apps or Plugins. To remove the plugin itself, open Mathbox in the Plugin Directory and select Uninstall plugin. Uninstalling can disconnect every account connected through it, and plugins your workspace installs may not offer the option.
- 2In Codex
Run /plugins in the Codex CLI, select the plugin and uninstall it, or press Space to turn it off.