math-olympiad
SkillAbout
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.
Capabilities
The crawler did not record capability metadata for this resource. Inspect the endpoint
directly to see what it exposes.
Provenance
Discovered Relayed by agntcy
URN authority urn:air:outshift.io:agntcy:math-olympiad
Catalog host outshift.io
Anchor check Not anchored
Last crawled seen 5h ago