Rigorous AI-assisted research
Pursue research goals across distinct routes, track claim revisions and evidence dependencies, referee manuscripts, audit proofs and sources, and record reproducible bounded experiments. Portable skills with optional local Python tooling.
Skills 11 in the ChatGPT listing
Mathbox: Computation Audit Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested range, reproducibility, or interpretation matters. Mathbox: Literature Check Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation translation, source-dependent implication, attribution, or a bounded novelty claim; cache authenticated sources for reuse. Mathbox: Manuscript Integrate Integrate an already validated mathematical result, correction, citation, or response to referee comments into an authoritative LaTeX manuscript while preserving hypotheses, evidence status, notation, and dependencies. Mathbox: Proof Audit Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness. Mathbox: Proofread Mathematics Conservatively proofread mathematical prose and LaTeX for grammar, typography, syntax, notation consistency, cross-references, and uniquely forced local mathematical typos. Mathbox: Referee Referee a whole mathematical manuscript for correctness, edge cases, notation, exposition and claim calibration. Mathbox: Research Attempt Run one bounded, auditable mathematical research route: a proof attempt, reduction, counterexample search, or a computational or source-based attack. Mathbox: Research Init Set up, plan a retrofit of, substantially revise, or migrate an AI-assisted mathematical research repository's agent architecture: AGENTS.md, CLAUDE.md, live status/history, workflow files and their authority structure, including moving a flat research log into program indexes. Mathbox: Research Program Pursue a substantial mathematical goal across multiple proof, counterexample, literature and computational routes, or close out one named program or phase by compacting its live status and history. Mathbox: Research Retrospective Reconcile a mathematical research repository's current claims, proofs, computations, status, literature dependencies, and failed routes, then recommend the next bounded research moves. Mathbox: Research State Read or update a local append-only .mathbox ledger of exact claims, evidence revisions, dependency impact, review provenance, routes and parallel or delayed runs. 
Inductive Bio#285