Open source alternatives to math-olympiad
24 open source AI Skills apps to use instead, best rated first.
Top picks
- G
github-ops
Launchgithub-ops is an agent skill from the ECC collection by affaan-m, listed on skills.sh. It manages a GitHub repository with a focus on community health, CI reliability and the experience of contributors. It covers triaging issues by classify
Open source
- O
opensource-pipeline
Launchopensource-pipeline is an agent skill from the ECC collection by affaan-m, listed on skills.sh. It prepares a private project for safe public release through a three-stage pipeline. The fork stage strips secrets from a copy. The sanitise st
Open source
- A
andrej-karpathy-skills
Launchandrej-karpathy-skills is a single CLAUDE.md file from the multica-ai project that is meant to improve how Claude Code behaves on coding tasks. It is derived from Andrej Karpathy's public observations about LLM coding pitfalls. The file dis
Open source
- M
microsoft/markitdown
Launchmarkitdown-mcp is the MCP server package for MarkItDown, Microsoft's tool for converting many file formats to Markdown for language models. It is a lightweight server that runs over stdio, Streamable HTTP or SSE, and exposes one tool, conve
Open source
- O
od-contribute
Launchod-contribute is an agent skill in the OpenDesign project that provides a guided, one-click contribution flow to the OpenDesign repository, written so that people without a coding background can send a real pull request. It is locked to the
Open source
- G
github-deep-research
Launchgithub-deep-research is an agent skill from the DeerFlow project that researches a single GitHub repository in several rounds and writes a report in Markdown. It is for requests that need more than a README summary, such as a comprehensive
Open source
More AI Skills apps
modelcontextprotocol/server-memory
Knowledge graph-based persistent memory for maintaining context
netdata/netdata#Netdata
Discovery, exploration, reporting and root cause analysis over Netdata metrics
Learn Claude Code
by shareAI-lab - A really interesting analysis of how coding agents like Claude
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