Math Olympiad Solver

by fazxes

Math Olympiad Solver is a Quality skill for Claude Code, published by fazxes in Claude-code.

234 stars216 forkson fazxes/Claude-codeAdded 2026/09/03Repository updated 2026/04/03

View source on GitHub Download repo ZIP

agenticaianthropicbunclaudeclaude-codeclicoding-assistantinkreactterminaltypescript

Install in seconds

Install Math Olympiad Solver

Copy Math Olympiad Solver into your Claude Code skills folder. Run the command in your terminal, or review the source on GitHub before installing.

terminal

npx degit https://github.com/fazxes/Claude-code/tree/main/stubs/downloads/official-plugins/marketplaces/claude-plugins-official/plugins/math-olympiad/skills/math-olympiad ~/.claude/skills/math-olympiad

Requires Node.js. Downloads this skill only — not the rest of the repository — into your Claude Code skills folder.

Without Node.js

git clone https://github.com/fazxes/Claude-code.git

Clones the whole repository, then copy the skill’s own directory into your skills folder yourself.

In this catalog

Source file: stubs/downloads/official-plugins/marketplaces/claude-plugins-official/plugins/math-olympiad/skills/math-olympiad/SKILL.md in fazxes/Claude-code
Installs to: ~/.claude/skills/math-olympiad
Collection: One of 25 skills cataloged from this repository
Category: Quality — 1478 skills

What Math Olympiad Solver does

Math Olympiad Solver guides agents through olympiad-style problem solving with interpretation checks, candidate generation, and adversarial verification. It is used for proofs, AIME-style answers, and checking whether a solution is actually complete.

Math Olympiad Solver is cataloged under Quality on DirSkills. Math Olympiad Solver comes from a repository tagged agentic, ai, anthropic, bun and claude.

Documentation

README

Excerpt

Math Olympiad Solver

The five things that change outcomes

Strip thinking before verifying — a verifier that sees the reasoning is biased toward agreement. Fresh context, cleaned proof only.
"Does this prove RH?" — if your theorem's specialization to ζ is a famous open problem, you have a gap. Most reliable red flag.
Short proof → extract the general lemma — try 2×2 counterexamples. If general form is false, find what's special about THIS instance.
Same gap twice → step back — the case split may be obscuring a unified argument. Three lines sometimes does what twelve pages couldn't.
Say "no confident solution" — wrong-and-confident is worse than honest abstain.

This is the opening of the README. Read the full README on GitHub.

Frequently asked about Math Olympiad Solver

What else does fazxes publish alongside Math Olympiad Solver?
Math Olympiad Solver is one of 25 skills that DirSkills catalogs from fazxes/Claude-code, the repository it ships in. Its siblings there include Agent Development, Build An MCPB and Build MCP Server. Each one is a separate skill with its own page in this directory, installs the same way Math Olympiad Solver does, and is maintained by fazxes in that same repository. The rest of the collection is listed on the fazxes/Claude-code page.
How does Math Olympiad Solver compare to other Quality skills?
Math Olympiad Solver ranks #1357 by stars among the 1478 Quality skills in this catalog. The most-starred ones next to it are Benchmark, Benchmark Optimization Loop and API Design Patterns. DirSkills ranks by the star count of the repository each skill ships in, so that order reflects how popular those repositories are rather than any review of Math Olympiad Solver against them. Open each page to compare what they document and how they install.