math-olympiad
anthropicsGet a proof that survives an adversarial check.
competition mathematics
What it does
Solves competition mathematics problems, adversarially verifies proofs, reports calibrated confidence, and optionally produces a verified PDF.
When to use it
Use it to solve competition problems, prove olympiad claims, verify proofs, or find counterexamples.
How to use it
Give it a competition problem, claim, or proof; it returns an adversarially verified solution or an explicit abstention.
What you provide
- the problem, claim, or proof
Access · 0
No additional actions listed in the analysis.
Good to know
- starts one helper agent per item, so the count depends on the work
- starts helper agents, number unstated
- starts 1 helper agents
What you need · 1
Either pdflatex or xelatex enables the optional compilation of the formatted proof into PDF.
About this skill
- Visibility
- Public
- Repository
- anthropics/claude-plugins-official
- Created
- Oct 8, 2026
- Updated
- Oct 8, 2026
- Files
- 11