by Anthropic
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.
Every plugin in Anthropic's official claude-plugins-official marketplace. A plugin can bundle skills, slash commands, subagents, hooks and MCP servers, and Claude Code adds this marketplace for you, so each one installs with a single command.
/plugin install math-olympiad@claude-plugins-official✓ swap in any plugin name below
2 plugins · synced daily
by Anthropic
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.
by Anthropic
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.
Looking for standalone skills instead? Browse the agent skills directory.