math olympiad — Agent Skill
by anthropics · Updated
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.
At a glance
math-olympiad is an Agent Skill by anthropics in the Automation & Workflow category. In Claude Code it installs with `/plugin install math-olympiad@claude-plugins-official` after adding the anthropics/claude-plugins-official marketplace; other assistants use its SKILL.md instructions as rules. Its source repository has 45,210 GitHub stars (as of Oct 28, 2026).
How to install math olympiad in your AI client
Setup for Claude Code, Claude Desktop, Cursor, Codex, Windsurf, Cline and VS Code — copy-paste ready.
How to install math olympiad in Claude CodeAnthropic's agentic CLI
Add the marketplace
claude/plugin marketplace add anthropics/claude-plugins-officialInstall the skill
claude/plugin install math-olympiad@claude-plugins-officialUse it
These are slash commands for a Claude Code session, not your shell. Claude auto-invokes the skill when your request matches its description — or type its slash command if it exposes one.
How to install math olympiad in Claude DesktopDesktop app (MCP config)
Clone the source
bashgit clone https://github.com/anthropics/claude-plugins-official.gitFind the skill
It lives in claude-plugins-official/plugins/math-olympiad — that folder contains the SKILL.md.
Add the SKILL.md to your Skills folder
Settings → Capabilities → Skills → add the folder containing SKILL.md. Claude picks it up automatically.
How to install math olympiad in CursorAI-first code editor
Clone the source
bashgit clone https://github.com/anthropics/claude-plugins-official.gitFind the skill
It lives in claude-plugins-official/plugins/math-olympiad — that folder contains the SKILL.md.
Convert to a Cursor rule
Create .cursor/rules/math-olympiad.mdc and paste the SKILL.md body. Set `alwaysApply` or a glob so the Agent loads it in context.
How to install math olympiad in Codex CLIOpenAI coding agent
Clone the source
bashgit clone https://github.com/anthropics/claude-plugins-official.gitFind the skill
It lives in claude-plugins-official/plugins/math-olympiad — that folder contains the SKILL.md.
Reference in AGENTS.md
Add the skill's instructions (or a link) to AGENTS.md at your repo root — Codex reads it on every run.
How to install math olympiad in WindsurfCodeium's agentic IDE
Clone the source
bashgit clone https://github.com/anthropics/claude-plugins-official.gitFind the skill
It lives in claude-plugins-official/plugins/math-olympiad — that folder contains the SKILL.md.
Add to your rules / context
Paste the SKILL.md instructions into this tool's custom rules or workspace instructions so the agent follows them.
How to install math olympiad in ClineVS Code autonomous agent
Clone the source
bashgit clone https://github.com/anthropics/claude-plugins-official.gitFind the skill
It lives in claude-plugins-official/plugins/math-olympiad — that folder contains the SKILL.md.
Add to your rules / context
Paste the SKILL.md instructions into this tool's custom rules or workspace instructions so the agent follows them.
How to install math olympiad in VS CodeCopilot / MCP support
Clone the source
bashgit clone https://github.com/anthropics/claude-plugins-official.gitFind the skill
It lives in claude-plugins-official/plugins/math-olympiad — that folder contains the SKILL.md.
Add to your rules / context
Paste the SKILL.md instructions into this tool's custom rules or workspace instructions so the agent follows them.
Documentation
Full READMEmath-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-officialMore Automation & Workflow skills
- Automation & Workflow54k
chrome devtools mcp
Control and inspect a live Chrome browser from your coding agent. Record performance traces, analyze network requests, check console messages with source-mapped stack traces, and automate browser actions with Puppeteer.
Claude Plugins (Official)by ChromeDevTools
- Automation & Workflow45k
agent sdk dev
Development kit for working with the Claude Agent SDK
Claude Plugins (Official)by anthropics
- Automation & Workflow45k
claude code setup
Analyze codebases and recommend tailored Claude Code automations such as hooks, skills, MCP servers, and subagents.
Claude Plugins (Official)by anthropics
- Automation & Workflow45k
claude security
Deep vulnerability scanning of your own code, run entirely inside your Claude Code session at a chosen effort tier, with every finding challenged before it is reported and the verification tally computed in code. Turns surviving findings into targeted patches, each verified by a panel of agents, that you apply when yo…
Claude Plugins (Official)by anthropics
- Automation & Workflow45k
code simplifier
Agent that simplifies and refines code for clarity, consistency, and maintainability while preserving functionality. Focuses on recently modified code.
Claude Plugins (Official)by anthropics
- Automation & Workflow45k
feature dev
Comprehensive feature development workflow with specialized agents for codebase exploration, architecture design, and quality review
Claude Plugins (Official)by anthropics
Catalog data refreshed . Something wrong? Report it.