skills.rest
Kingdaddy007
Kingdaddy007COMMUNITY
Explore all skills by this author →
GitHub

math-olympiad

Solve olympiad-style math problems with adversarial verification.

1|Updated Apr 1, 2026
Search Tags:#verification#math#latex#adversarial#proof#olympiad
One-click install
npx skills add https://github.com/Kingdaddy007/Claude-leaked-source-code --skill math-olympiad-kingdaddy007
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: math-olympiad
Source: https://github.com/Kingdaddy007/Claude-leaked-source-code/tree/main/stubs/downloads/official-plugins/marketplaces/claude-plugins-official/plugins/math-olympiad/skills/math-olympiad
Command: npx skills add https://github.com/Kingdaddy007/Claude-leaked-source-code --skill math-olympiad-kingdaddy007

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This skill enables automated tackling of high-level competition math problems with a rigorous adversarial verification process to ensure correctness even when standard solvers might bluff.

Core Features & Use Cases

  • Adversarial verification workflow: solve, strip the thinking trace, and subject the final solution to a fresh-context verifier that uses pattern-based attacks.
  • Domain coverage: adept at IMO, Putnam, USAMO, AIME-style problems, proofs, and finding counterexamples.
  • Output capabilities: yields a verified written solution and can present results in LaTeX/PDF for polished delivery.

Quick Start

Feed the problem statement to the solver and run the verification workflow to obtain a verified solution.

Frequently Asked Questions about math-olympiad

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How does adversarial verification work for math olympiad proofs?▼

Adversarial verification solves a math problem, strips the initial thinking trace, and subjects the final proof to a fresh-context verifier using pattern-based attacks to ensure correctness.

Can I use this to solve Putnam and USAMO competition problems?▼

Yes, it solves Putnam, USAMO, IMO, and AIME-style competition problems, including formal proofs and finding counterexamples through an iterative solution refinement and verification workflow.

Does the math olympiad solver require web access to verify proofs?▼

No web access is required; the workflow operates entirely offline through problem interpretation checks, iterative solution refinement, cleaning, and internal verification.

How do I get LaTeX output for a verified olympiad math solution?▼

After solving and verification, the workflow optionally presents the verified written solution in LaTeX/PDF format for polished delivery and publication.

What is the best way to verify a math proof against counterexamples?▼

The best way is using a fresh-context verifier that applies pattern-based attacks to the cleaned solution, checking for logical gaps and validating any counterexamples found.

Are there limitations when using automated solvers for IMO-level proofs?▼

Standard solvers might bluff correctness on IMO-level proofs, which is why this workflow requires stripping the thinking trace and applying adversarial verification to validate the final result.

Related Skills

Explore More Education & Research Skills→
LAF-USLAF-US

math-olympiad

Solve IMO, Putnam, USAMO, and AIME problems with adversarial verification.

Official
Advanced
tesseract-rippletesseract-ripple
1

writeup

Draft and refine LaTeX sections for academic documents.

Community
Intermediate
ndpvt-webndpvt-web
692

latex-document

Automates creation, compilation, and conversion of LaTeX documents to PDFs.

Community
Advanced
parcadeiparcadei
3.9k

analytic-functions

Verify analyticity via Cauchy-Riemann equations and compute power series expansions.

Community
Intermediate