Math Proof
Write clear, detailed mathematical proofs for academic papers. Use when
Co Math Status
Render a compact status view of an AI co-mathematician research project — goals, active workstreams, blocked items, pending reviews, recent decisions. Use when the user asks "what's the status of this project", "show me the workstreams", "/co-math-status", "what's blocked", or wants to understand project state without opening files manually. Replaces the visual workstream branching diagrams of th…
Codex Math
OpenAI Codex (gpt-5.5) as an adversarial mathematical co-processor — verify, write, and explore modes for hard proofs, counterexample search, and independent verification. Treat every output as a lead, not a verdict.
Proof Readability
Improve the readability and exposition of mathematical proofs that are
Co Math Init
Initialize a new AI co-mathematician research project. Use when the user wants to start a new math research investigation with AI agent support, or types "/co-math-init", "start a co-math project", "new research project", or similar. Scaffolds a directory with paper.tex, goals.md, decisions.md, workstreams/, and per-project hooks/config that enforce the co-mathematician discipline (no hand-waving…