# Mathbox (ChatGPT Plugin)

> Rigorous AI-assisted research

- Type: plugin
- Publisher: Najib Idrissi-Kaïtouni
- Categories: Research
- Website: https://chatgpt.com/plugins/plugins_6a9174204a0481918ca3798d69d2e227
- Open in ChatGPT: https://chatgpt.com/plugins/plugins_6a9174204a0481918ca3798d69d2e227
- Version: 3.2.0
- Listed: 2026-10-15

## About

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

1. **Add 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

- **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

## Example prompts

- "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."

## Related

- [Public Equity Investing](https://chatgptplugins.directory/plugins/public-equity-investing.md): Public equity PM research, long/short, earnings, ETF/index diligence, and memos
- [Zotero](https://chatgptplugins.directory/plugins/zotero.md): Find papers and add citations from Zotero
- [Life Science Research](https://chatgptplugins.directory/plugins/life-science-research.md): General life-sciences research with routing, evidence synthesis, and optional parallel...
- [Adaptyv Bio](https://chatgptplugins.directory/plugins/adaptyv-bio.md): Plan and manage protein experiments with review gates
- [Biological Sequence & Alignment Viewer](https://chatgptplugins.directory/plugins/biological-sequence-alignment-viewer.md): Inspect, analyze, and compare biological sequences and alignments in Codex.
- [Boltz](https://chatgptplugins.directory/plugins/boltz.md): Predict structures, screen molecules and proteins, and design binders

---
Source: https://chatgptplugins.directory/plugins/mathbox · Index: https://chatgptplugins.directory/llms.txt · Independent and community-run. Not affiliated with or endorsed by OpenAI. ChatGPT is a trademark of OpenAI.