What problem does it solve? Competition math problems (IMO, Putnam, USAMO, AIME) demand rigorous proofs where subtle errors are common and a single wrong step invalidates the answer. This Skill applies a structured multi-stage workflow that catches flawed reasoning before presenting a solution. ## Core Features & Use Cases - Parallel Candidate Generation: Multiple solver agents attack the problem from different angles, each refining its approach through self-verification cycles. - Adversarial Verification: Independent verifier agents attack cleaned proofs using pattern-based checks for domain errors, invalid hypotheses, and missed edge cases, with asymmetric voting (4 holds to confirm, 2 holes to refute). - Revision and Calibrated Abstention: A reviser agent fixes flagged proofs up to three times; if verification still fails, the Skill honestly reports no confident solution instead of guessing. - Use Case: Given a USAMO proof problem, the Skill generates candidate proofs, adversarially verifies them, revises any holes, and delivers a polished final proof, optionally compiled to PDF with LaTeX. ## Quick Start Solve this competition math problem with rigorous verification and present a clean final proof.
