Axiom Lean Engine - Python client and CLI for the AXLE Lean verification API.
Homepage: https://axle.axiommath.ai/
March 11, 2026 - v1.0.1
New documentation pages, increased rate limits, and bug fixes. See the changelog for details.
March 6, 2026
Join the discussion, ask questions, and share feedback on the Lean Zulip.
Rate limits were unintentionally too restrictive:
- API key users: increased to 20 active requests (up from 4)
- Anonymous users: increased to 10 active requests (up from 1)
- Max timeout: increased to 15 minutes (up from 5 minutes)
Users with an API key should regenerate their key to apply the new limits.
March 5, 2026 - v1.0.0
We're excited to release AXLE to the public! AXLE provides proof verification and manipulation primitives we've used across all of our research efforts, including training AI models and AxiomProver's 12/12 on Putnam 2025.
Playground | API docs | Why we built AXLE | Request more capacity | axle@axiommath.ai
