Math Olympiad Solver
Competition math with adversarial verification and honest confidence levels.
Official Anthropicby AnthropicChecked October 18, 2026
An official Anthropic plugin for hard competition problems such as IMO, Putnam or AIME. It generates candidate solutions, then a fresh verifier attacks each proof using known failure patterns, and it will say when it is not confident.
Who it is for
- Math students
- Olympiad coaches
- Teachers
- Math enthusiasts
Prompts to try
Once the skill is installed, ask for the result in plain words. Claude picks the skill up on its own.
Solve this IMO problem and verify the proofIs this proof of the inequality correct?Find a counterexample to this competition claimHow to install it
In Claude Code
/plugin install math-olympiad@claude-plugins-official
In Claude.ai
Zip the skill folder and upload it under Customize > Skills > + > Create skill > Upload a skill; it needs no extra tools.
Unlock the install steps
Free. Leave your email once to open the install steps for all 149 skills, and get the best new skills each month.
How we checked it
Confirmed SKILL.md at plugins/math-olympiad/skills/math-olympiad/SKILL.md in anthropics/claude-plugins-official via the GitHub API; skill folder last changed 2026-03-30, repo has 41,644 stars and was pushed 2026-10-17; maintained by Anthropic inside its official plugin marketplace repo.
Source: github.com/anthropics/claude-plugins-official/tree/main/plugins/math-olympiad/skills/math-olympiad