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

## Disconnect or uninstall

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

2. **In Codex** Run /plugins in the Codex CLI, select the plugin and uninstall it, or press Space to turn it off.

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

## Mathbox alternatives

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