Math Olympiad
PluginOfficial Anthropic plugin that solves competition math such as IMO and Putnam problems, with adversarial checks by an independent verifier that only sees the clean proof. Gives up explicitly rather than bluffing when unsure, and outputs LaTeX/PDF once verified.
math-olympiad
Competition math solver with adversarial verification.
The problem
Self-verification gets fooled. A verifier that sees the reasoning is biased toward agreement. arXiv:2503.21934 ("Proof or Bluff") showed 85.7% self-verified IMO success drops to <5% under human grading.
The approach
- Context-isolated verification: verifier sees only the clean proof, never the reasoning trace
- Pattern-armed adversarial checks: not "is this correct?" but "does this accidentally prove RH?" / "extract the general lemma, find a 2×2 counterexample"
- Calibrated abstention: says "no confident solution" rather than bluff
- Presentation pass: produces clean LaTeX/PDF after verification passes
Validation
17/18 IMO+Putnam 2025 problems solved, 0 false positives, 2 novel proofs found. See the skill's eval data in the anthropic monorepo.
Install
/plugin install math-olympiad@claude-plugins-official
Use
> Solve this IMO problem: [statement]
The skill auto-triggers on "IMO", "Putnam", "olympiad", "verify this proof", etc.
관련 리소스
Lean 4 Skills
PluginLean 4 theorem-proving plugin with workflows to draft, formalize, prove, disprove, review and golf proofs, plus mathlib search, axiom checks and safety guardrails, helping mathematicians and teachers produce machine-checked proofs. Needs Lean 4 and mathlib; pairs well with lean-lsp-mcp.
cameronfreer/lean4-skills464
Manim
CLIEngine for math and explainer animations in Python (Community Edition, ManimCE): write scenes and render them to video with the manim command, letting agents create teaching and science animations. On macOS install cairo and pkg-config first; formulas need LaTeX.
ManimCommunity/manim41.6k
Jupyter Book
CLIBuilds Markdown and Jupyter notebooks into online textbook sites with a TOC, math, citations and cross-references, plus publication-quality PDF export; popular for course notes. A Jupyter subproject installed via pipx or npm; PDF export needs Typst or LaTeX.
jupyter-book/jupyter-book4.3k
Pix2Text
CLIRecognizes images or whole PDFs (including scans) with math formulas and tables into Markdown and LaTeX, strong on English and Chinese and supporting 80+ languages, handy for digitizing exams, lecture notes and study notes. An open-source Mathpix alternative that runs locally with Python.
breezedeus/Pix2Text3.3k
Math Modeling Skill
SkillA three-stage workflow for math modeling contests like MCM/ICM and CUMCM: analysis, solving and plotting in Python or MATLAB, and a Word (optionally LaTeX) paper, with stage-check subagents and OpenAlex plus AnySearch literature search. Generated papers are for reference only.
XiaoMaColtAI/math-modeling-skill1.9k
Manim Skills
SkillBreaks a rough explanation idea into a scene-by-scene storyboard, then writes animation code following best practices for Manim Community or 3Blue1Brown's ManimGL, for math and physics explainers in class demos and educational videos. Needs Python, FFmpeg and LaTeX installed locally.
adithya-s-k/manim_skill1.2k