Mathbox
Rigorous AI-assisted research
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.
個 Skills
Mathbox: Computation Audit
Mathbox: Literature Check
Mathbox: Manuscript Integrate
Mathbox: Proof Audit
Mathbox: Proofread Mathematics
Mathbox: Research Attempt
Mathbox: Research Init
Mathbox: Research Program
資訊
- 功能
- Interactive, Read, Write
- 開發者
- Najib Idrissi-Kaïtouni
- 類別
- Education & Research
- 版本
- 3.0.1