Installation

Requirements

• Python 3.11 or higher
• An internet connection (to reach the AXLE API)

Install from PyPI

pip install axiom-axle

Install from Source

git clone https://github.com/AxiomMath/axiom-lean-engine.git
cd axiom-lean-engine
pip install -e .

or

pip install git+ssh://git@github.com/AxiomMath/axiom-lean-engine

Development Installation

For development, install with dev dependencies:

git clone https://github.com/AxiomMath/axiom-lean-engine.git
cd axiom-lean-engine
make setup-env

This will:

• Install all dependencies (including dev tools)
• Set up pre-commit hooks
• Install the package in editable mode

Verify Installation

# Check CLI
axle --version

# Check Python package
python -c "from axle import AxleClient; print('OK')"

Next Steps

See the Quick Start tutorial to get started.