math-olympiad

Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure patterns. Calibrated abstention over bluffing.

Install

If the official marketplace isn’t added yet, run

Category: Math
Author: Anthropic
GitHub: anthropics/claude-plugins-official

Good for

Solve competition math problems from IMO, Putnam and USAMO
Have fresh-context verifiers attack a proof to catch errors self-verification misses
Get calibrated abstention instead of a bluffed answer when unsure

Getting started

Run /plugin install math-olympiad@claude-plugins-official in Claude Code
Paste the problem, e.g. "Solve this IMO problem: [statement]"
The skill auto-triggers on words like IMO, Putnam, olympiad or "verify this proof"

Summarized by AI from the project docs; check the official docs before relying on it.

Similar tools

math-proofOfficial plugin · Math
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.