Skip to content
aarness.
Marketplace

Plugin

Math Olympiad Solver

Attempts olympiad-style problems with several independent solvers and skeptical checkers, and admits it when no proof holds up.

Haarnessverifiedproductivitymatholympiadproofsverificationlatex
InstallAdd to a workspace

Install

  1. 1

    Get Haarness

    Free and open source. Skip this step if Haarness is already on your computer.

    Download for macOSor
    curl -fsSL https://haarness.ai/install.sh | sh

    Free and open source. Skip this step if Haarness is already on your computer.

    Download for Windowsor
    irm https://haarness.ai/install.ps1 | iex

    Free and open source. Skip this step if Haarness is already on your computer.

    Download for Linuxor
    curl -fsSL https://haarness.ai/install.sh | sh

    Haarness installs on a computer. Open this page there to continue, or use it in the cloud below.

    Haarness installs on a computer. Open this page there to continue, or use it in the cloud below.

    Haarness installs on a computer. Open this page there to continue, or use it in the cloud below.

    Haarness installs on a computer. Open this page there to continue, or use it in the cloud below.

  2. 2

    Add Math Olympiad Solver

    Run this in a terminal. Add --global to install for every project, or --local for this project only.

    haarness marketplace install plugin haarness/math-olympiad

Notes

From anthropics/claude-plugins-official (plugins/math-olympiad), by anthropics. Licence: Apache-2.0. Haarness keeps it in sync with the repository; installs update themselves.

Details

Publisher
Haarness
Version
v1
License
Apache-2.0
Visibility
public
Updated
Source
github.com/anthropics/claude-plugins-officialplugins/math-olympiad · mainKept in sync · f8c5e7a

Versions

  • v1