morankor/theorist-toolbox
5 skills
$npx skills add morankor/theorist-toolboxSkillInstalls
co-math-initInitialize a disciplined AI co-mathematician research project for Codex. Use when starting a math or economic theory investigation that needs goals.md, paper.tex, workstreams, decisions, reviewer apprco-math-statusRender a compact status view for a Codex co-mathematician project. Use when the user asks for project status, active workstreams, blocked items, pending reviews, open proof obligations, recent decisiocodex-mathRun an adversarial mathematical workflow in Codex: verify proofs, write hard proofs, explore conjectures, search for counterexamples, and triage possible gaps. Use for important theorem checks, failedmath-proofWrite rigorous, gap-free mathematical proofs for academic research. Use when asked to prove, derive, justify analytically, expand a proof sketch, check a theorem statement, or turn economic or game-thproof-readabilityPolish verified mathematical proofs without changing their mathematical content. Use after a proof has been accepted by the user, a reviewer, Lean, or a co-math review cycle; or when asked to improve