diff --git a/plugins/math-olympiad/skills/math-olympiad/SKILL.md b/plugins/math-olympiad/skills/math-olympiad/SKILL.md index 3ecd65c..ec79ed9 100644 --- a/plugins/math-olympiad/skills/math-olympiad/SKILL.md +++ b/plugins/math-olympiad/skills/math-olympiad/SKILL.md @@ -1,6 +1,6 @@ --- name: math-olympiad -description: 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. +description: "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." version: 0.1.0 ---