Free alternatives to math-olympiad
50 free AI Skills apps to use instead, best rated first.
Top picks
- W
webapp-testing
LaunchNative Python Playwright scripts for testing local web applications with server lifecycle management. Includes with_server.py helper to automatically start and manage single or multiple servers before running automation scripts. Supports re
- C
content-research-writer
LaunchAssists in writing high-quality content by conducting research, adding citations, improving hooks, iterating on outlines, and providing real-time feedback on
- O
openhue
Launchopenhue is an agent skill from the OpenClaw project, listed on skills.sh. It lets an agent control Philips Hue lights and scenes through a Hue Bridge with the OpenHue CLI: turn lights on and off, dim rooms, set scenes such as movie mode, an
- B
batch-grill-me
Launchbatch-grill-me is an agent skill from Matt Pocock's skills collection, listed on skills.sh. It interviews you relentlessly about a plan until you share an understanding. It maps decisions as a tree and asks every question it can answer now
- I
implement
Launchimplement is an agent skill from Matt Pocock's skills collection, listed on skills.sh. It implements work from a spec or tickets: it fetches the ticket, works test-first at agreed seams, runs type checks and tests as it goes, reviews the re
- F
frontend-design
LaunchDistinctive, production-grade frontend interfaces that reject generic AI aesthetics through intentional design choices. Guides aesthetic direction selection (brutalist, maximalist, retro-futuristic, luxury, organic, etc.) before implementat
More AI Skills apps
brainstorming
Transform rough ideas into fully-formed designs through structured questioning
finishing-a-development-branch
Guides completion of development work by presenting clear options
test-driven-development
Use when implementing any feature or bugfix, before writing implementation code
About math-olympiad
math-olympiad
Solve competition math problems
math-olympiad is an agent skill from Anthropic's official plugins collection, listed on skills.sh. It helps solve competition mathematics problems, such as those from the IMO, the Putnam, the USAMO and the AIME. Its main feature is adversarial verification, which the skill says catches errors that self-verification misses. The method rests on a few rules. A verifier that sees the reasoning tends to agree with it, so the proof is checked in fresh context using only the cleaned-up proof. If a theorem's special case reduces to a famous open problem, such as the Riemann hypothesis, the skill treats that as a sign of a gap. For a short proof, the agent tries to extract a general lemma and tests it on small counterexamples, and if the general form fails, it looks for what is special about the instance. A gap that appears twice suggests stepping back, because a different case split or a unified argument may be simpler. The skill also allows the agent to say it has no confident solution, since a wrong answer given with confidence is worse than an honest abstention. It suits students and mathematicians who want careful, checked solutions to hard problems.
- Price
- Free
- Made by
- anthropics
- Category
- AI Skills
- Website
- github.com/anthropics/claude-plugins-official/math-olympiad