math-olympiad - Adversarially Verified Competition Math Solver
Solves competition math problems using refined reasoning, fresh-context adversarial verification, calibrated confidence, and optional LaTeX PDF output.
Tags
Updated: 2026-10-06Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Interpret problem statements
- Generate candidate solutions
- Refine and self-verify proofs
- Clean solution arguments
- Run adversarial verification
- Rank and vote-verify solutions
- Identify proof gaps
- Abstain when uncertain
- Compile verified PDF solutions
Inputs
- Competition math problem statement
- Candidate proof
- Verifier pattern references
- LaTeX support
Outputs
- Detailed solution
- Verification verdict
- Proof gap report
- Calibrated confidence
- No-confident-solution status
- Compiled PDF
Requirements
- Parallel agent calls
- Fresh-context verifier agents
- Thinking-capable model
- LaTeX availability for PDF output