Individual skill
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."
plugins/math-olympiad/skills/math-olympiad/SKILL.md
Source commit a7ba5b93db0c7c8d17f3f1d25853adca79598a1a
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- No
- Repository scan complete
- No
- Skill scan complete
- No
- Observed behavior
- Not checked yet
- Last checked
- Nov 3, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 46,493
- Repository last updated
- Nov 7, 2026
- License
- Apache-2.0
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- claude-code Repository topic
- mcp Repository topic
- skills Repository topic
- engineering Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
SKILL.mdcore · 19,961 bytesevals/trigger_eval.jsonasset · 2,008 bytesreferences/adversarial_prompts.mddoc · 12,571 bytesreferences/attempt_agent.mddoc · 1,961 bytesreferences/known_constructions.mddoc · 2,024 bytesreferences/model_tier_defaults.mddoc · 2,970 bytesreferences/presentation_prompts.mddoc · 6,150 bytesreferences/solver_heuristics.mddoc · 5,998 bytesreferences/verifier_patterns.mddoc · 8,284 bytesscripts/check_latex.shruns · 205 bytesscripts/compile_pdf.shruns · 1,485 bytes
Read excerpt
# Math Olympiad Solver
## The five things that change outcomes
1. **Strip thinking before verifying** — a verifier that sees the reasoning is
biased toward agreement. Fresh context, cleaned proof only.
2. **"Does this prove RH?"** — if your theorem's specialization to ζ is a famous
open problem, you have a gap. Most reliable red flag.
3. **Short proof → extract the general lemma** — try 2×2 counterexamples. If
general form is false, find what's special about THIS instance.
4. **Same gap twice → step back** — the case split may be obscuring a unified
argument. Three lines sometimes does what twelve pages couldn't.
5. **Say "no confident solution"** — wrong-and-confident is worse than honest
abstain.