math-olympiad
CommunityAdversarially verifies olympiad problems.
Education & Research#presentation#latex#adversarial-review#proof-verification#olympiad#mathematical-proofs
Authoronelee85
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Solve competition math problems with adversarial verification that catches errors self-verification misses. The entry point uses a structured, multi-stage workflow to ensure robust correctness.
Core Features & Use Cases
- Adversarial verification of solutions to competition math problems (IMO, Putnam, USAMO, AIME)
- Problem interpretation checks, candidate generation, clean solution extraction, adversarial attacks, and presentation
- Supports single-problem solving and batch problem sets with per-problem verification reporting
Quick Start
Provide a verified, adversarially checked solution for a given Olympiad problem.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: math-olympiad Download link: https://github.com/onelee85/my-skills/archive/main.zip#math-olympiad Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.