A skill for competition math that avoids biased self-verification. Verifiers see only the clean proof, not the reasoning trace. It abstains rather than bluffs.
What it does
Where Math Olympiad runs and what it adds, from its documentation
Context-isolated verification of proofs
Pattern-armed adversarial checks
Calibrated abstention instead of bluffing
Presentation pass producing LaTeX/PDF after verification
When to use it
Good fit
Solving IMO, Putnam or USAMO style problems
Verifying a proof
Not for
Questions that need confident answers on every problem; it may report no confident solution
How to install Math Olympiad
You need: Claude Code
Run Claude Code
Run /plugin install math-olympiad@claude-plugins-official
Ask: Solve this IMO problem: [statement]
The skill also triggers on 'olympiad', 'Putnam', 'verify this proof'
Limitations
README claims 17/18 IMO+Putnam 2025 problems solved; evaluation data is in a separate repo
