Math Olympiad
"Solve competition math problems (IMO, Putnam, USAMO, AIME) with adversarial verification that catches the errors self-verification misses. Activates when asked to 'solve this IMO problem', 'prove this olympiad inequality', 'verify this competition proof', 'find a counterexample', 'is this proof correct', or for any problem with 'IMO', 'Putnam', 'USAMO', 'olympiad', or 'competition math' in it. Uses pure reasoning (no tools) — then a fresh-context adversarial verifier attacks the proof using specific failure patterns, not generic 'check logic'. Outputs calibrated confidence — will say 'no confident solution' rather than bluff. If LaTeX is available, produces a clean PDF after verification passes."
Works with: Claude Code, Cursor, Codex CLI
Category: Dev Tools & CI — see all ranked ›
Work: Scientific research
Who it is for: Scientist · Researcher
- Adoption: 1 repos
- Health: active
- GitHub stars: 32,643
- Contributors: 30
- License: Apache-2.0
Security audit
Not scanned yet. We audit npm-published capabilities for known advisories, install-time scripts and permission surface; this one has no npm package we can resolve, or has not reached the queue.
source ↗ · skill:anthropics/math-olympiad
Already running this? npx tashan-cli doctor checks your whole config against the Index — how it works ›