skills.homes logoskills.homescapability registry
home/categories/containers/plurigrid-asi-skills-aristotle-lean-skill-md
cd ..
containersdevops

aristotle-lean

IMO Gold Medal level Lean4 theorem proving via Harmonic API

View Sourcecontainers
plurigrid
maintainer
plurigrid
Updated 1/27/2026
Stars
16
Forks
5
quick start

Installation and usage

IMO Gold Medal level Lean4 theorem proving via Harmonic API

Installation
$ install --globalskills.sh
Usage

Once installed, you can use this skill by running the following command in your terminal:

skills use aristotle-lean