Math Olympiad plugin: what it installs and how to add it

Use the skill for competition mathematics problems or when you need a proof checked. It develops a solution, then gives a separate verifier only the clean proof, not the original reasoning, so the proof can be tested against targeted failure patterns rather than simply approved by the same line of thought.

The verifier can abstain when it cannot establish a confident solution instead of filling gaps with unsupported claims. After verification passes, the skill produces a clean LaTeX or PDF presentation. It auto-triggers for prompts mentioning IMO, Putnam, olympiad problems or proof verification.

What's inside

• 1 skill: math-olympiad