Claude Tools / Plugins / math-olympiad
Audited plugin listing
math-olympiad
Solves competition math (IMO, Putnam, USAMO, AIME) with adversarial verification: a second fresh-context agent attacks the proof before the answer ships.
Listing signals
Install check
✓ Pass
Risk scan
✓ Clean
Implementation
Code-backed
Assessment
Verdict
Math-olympiad solves a real failure mode in AI-assisted proofs: self-verification is biased toward agreement because the verifier sees its own reasoning chain. This skill runs the verifier in a fresh context with only the cleaned proof — no access to the reasoning that produced it — and specifically attacks known gap patterns (Riemann Hypothesis specialization, 2×2 counterexamples on general lemmas, same-gap-twice signals). The "say no confident solution rather than bluff" policy is the right calibration for competition math. No network calls; LaTeX compilation is opt-in when the local binary is present.
Installation
Add to Claude Code
Evidence
Audit receipts
This listing is tied to a specific source commit and records both installation and risk checks.
Install check
✓ Pass
One skill with two optional shell scripts (check_latex.sh, compile_pdf.sh) for LaTeX-to-PDF rendering when LaTeX is installed. Core workflow is pure reasoning via the Claude agent system.
Risk scan
✓ Clean
Composition
What was measured
Prose lines
1,413
Code lines
58
Prose / code
24.36
Related