morankor/theorist-toolbox
5 skills
$npx skills add morankor/theorist-toolboxSkillInstalls
co-math-initInitialize a disciplined AI co-mathematician research project for Codex.co-math-statusRender a compact status view for a Codex co-mathematician project.codex-mathRun an adversarial mathematical workflow in Codex: verify proofs, write hard proofs, explore conjectures, search for counterexamples, and triage possible gaps.math-proofWrite rigorous, gap-free mathematical proofs for academic research.proof-readabilityPolish verified mathematical proofs without changing their mathematical content.