Math Olympiad Solver

by anthropics

Math Olympiad Solver is an AI Engineering skill for Claude Code, published by anthropics in claude-plugins-official.

33.5K stars3.8K forkson anthropics/claude-plugins-officialAdded 2026/08/13Repository updated 2026/08/13

View source on GitHub Download repo ZIP

claude-codemcpskills

Install in seconds

Install Math Olympiad Solver

Copy Math Olympiad Solver into your Claude Code skills folder. Run the command in your terminal, or review the source on GitHub before installing.

terminal

npx degit https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-olympiad/skills/math-olympiad ~/.claude/skills/math-olympiad

Requires Node.js. Downloads this skill only — not the rest of the repository — into your Claude Code skills folder.

Without Node.js

git clone https://github.com/anthropics/claude-plugins-official.git

Clones the whole repository, then copy the skill’s own directory into your skills folder yourself.

In this catalog

Source file: plugins/math-olympiad/skills/math-olympiad/SKILL.md in anthropics/claude-plugins-official
Installs to: ~/.claude/skills/math-olympiad
Collection: One of 25 skills cataloged from this repository
Category: AI Engineering — 2451 skills

What Math Olympiad Solver does

Math Olympiad Solver is a multi-agent workflow for solving olympiad-style math problems and verifying proofs through adversarial passes. Use it for IMO, Putnam, USAMO, or AIME problems when rigorous solutions and gap detection matter.

Math Olympiad Solver is cataloged under AI Engineering on DirSkills. Math Olympiad Solver comes from a repository tagged claude-code, mcp and skills.

Documentation

README

Excerpt

Math Olympiad Solver

The five things that change outcomes

Strip thinking before verifying — a verifier that sees the reasoning is biased toward agreement. Fresh context, cleaned proof only.
"Does this prove RH?" — if your theorem's specialization to ζ is a famous open problem, you have a gap. Most reliable red flag.
Short proof → extract the general lemma — try 2×2 counterexamples. If general form is false, find what's special about THIS instance.
Same gap twice → step back — the case split may be obscuring a unified argument. Three lines sometimes does what twelve pages couldn't.
Say "no confident solution" — wrong-and-confident is worse than honest abstain.

This is the opening of the README. Read the full README on GitHub.

Frequently asked about Math Olympiad Solver

What else does anthropics publish alongside Math Olympiad Solver?
Math Olympiad Solver is one of 25 skills that DirSkills catalogs from anthropics/claude-plugins-official, the repository it ships in. Its siblings there include Agent Development, Build MCP App and Build MCP Server. Each one is a separate skill with its own page in this directory, installs the same way Math Olympiad Solver does, and is maintained by anthropics in that same repository. The rest of the collection is listed on the anthropics/claude-plugins-official page.
How does Math Olympiad Solver compare to other AI Engineering skills?
Math Olympiad Solver ranks #162 by stars among the 2451 AI Engineering skills in this catalog. The most-starred ones next to it are Architecture Decision Records, AI-First Engineering and Agentic OS. DirSkills ranks by the star count of the repository each skill ships in, so that order reflects how popular those repositories are rather than any review of Math Olympiad Solver against them. Open each page to compare what they document and how they install.