A toolkit of Claude Code skills for doing economic theory with LLMs: math-proof (single-pass proving), codex-math (adversarial verification), and co-math (multi-agent proof projects). With a VCG-for-grade-inflation case study.
Skill Claude CodeCodex
Initialize 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 approvals, strict no-hand-waving proof tracking, Lean/code workstreams, or a durable co-math project scaffold.
Skill Claude CodeCodex
Render 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 decisions, or "what is happening in this co-math project".
Skill Claude CodeCodex
Run 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, failed proof attempts, conjectures, independent verification, or requests like 'audit this proof', 'find a counterexample'…
Skill Claude CodeCodex
Write 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-theoretic reasoning into a complete proof with explicit algebra, signs, edge cases, and no hand-waving.
Skill Claude CodeCodex
Polish 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 proof exposition, readability, signposting, notation, references, or grammar while preserving the original argument.
Skill Claude CodeCodex
Set up and use an academic "second brain" — agentic RAG over a local library of theoretical papers (LaTeX-aware ingestion, theorem/proof tools, hybrid search). Use when the user wants a second brain for papers in a folder, says "/second-brain", "set up a second brain here", "ingest this paper into my second brain", or…
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: