Skip to content

Installation

Install via PyPI

lean-runner is available on PyPI. This is the recommended installation method for most users.

uv pip install lean-runner

pip install lean-runner

Build from Source

If you want to try out the latest features or contribute to development, you can install from source.

git clone https://github.com/EvolvingLMMs-Lab/LeanRunner.git
cd LeanRunner
uv pip install -e packages/client

git clone https://github.com/EvolvingLMMs-Lab/LeanRunner.git
cd LeanRunner
pip install -e packages/client