Skip to content
store
math-olympiad

Self-hosted alternatives to math-olympiad

5 self-hosted AI Skills apps to use instead, best rated first.

Top picks

  1. C

    claude-to-deerflow

    Launch

    claude-to-deerflow is an agent skill that lets an assistant send messages and questions to a running DeerFlow instance through its HTTP API. DeerFlow is an AI agent platform built on LangGraph that orchestrates sub-agents for research, code

    Self-hosted

  2. O

    open-notebook

    Launch

    open-notebook is an agent skill for organising research with Open Notebook, a self-hosted alternative to NotebookLM. It arranges sources, notes and AI conversations into research notebooks. Sources can be PDFs, web pages, audio, video and O

    Self-hosted

  3. R

    Reactive Resume

    Launch

    Reactive Resume is a free and open-source resume builder for writing resumes and cover letters, checking the work, and tracking job applications. You create a free account, import an existing resume or start from scratch, and see the finish

    Open sourceSelf-hosted

  4. S

    self-hosted-funnel-launch

    Launch

    Self-hosted funnel launch is an agent skill that takes a funnel from an empty install to published on infrastructure you control, using the Autonnel funnel builder, which is licensed Apache-2.0. The result covers a landing page, checkout, a

    Self-hosted

  5. G

    get-convex/convex-backend

    Launch

    Convex is an open-source reactive database for web app developers. It combines a database, a place to write server functions in pure TypeScript, and client libraries that keep the app's data live, so screens update as the data changes. Beca

    Self-hosted

About math-olympiad

M

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.

View math-olympiadAll AI Skills apps
Price
Free
Made by
anthropics
Category
AI Skills
Website
github.com/anthropics/claude-plugins-official/math-olympiad