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 spe

Install

KitScout test notes

Not tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.

Similar tools

• karpathy-guidelines 232,709 ★
  Behavioral guidelines to reduce common LLM coding mistakes. Use when writing, reviewing, or refactoring code t
• discernment-nudge 193,970 ★
  After you give a substantive answer or draft that the user may act on — advice or recommendations, drafted art
• timeline-report 116,728 ★
  Generate a "Journey Into [Project]" narrative report analyzing a project's entire development history from cla
• weekly-digests 116,728 ★
  Generate a serial week-by-week narrative digest of a project's full claude-mem timeline. Splits the timeline i
• what-the 116,728 ★
  What the? Use when the user wants a plain-English breakdown of something technical — the who, what, where, why