Integrates the AXLE (Axiom Lean Engine) CLI with AI assistants to provide comprehensive tools for Lean 4 proof engineering. It enables users to validate, repair, and transform Lean theorems through a remote API without requiring a local Lean installation.
Not monetized yet
Turn axle-mcp’s tool calls into revenue: one disclosed sponsored slot, 70% revenue share, fail-open by design.
Install axle-mcp
For anyone using axle-mcp — no Lulu account needed# stdio server — install per the repository README: https://github.com/vilin97/axle-mcp
9 field-tested tactics as a designed playbook plus skills your coding agent can run. Free.
Get the Kit →FAQ
axle-mcp installs from source — follow the repository README.
Unrated out of 100, computed from cross-registry traction signals (installs, stars, registry presence) — never influenced by sponsorship.
Similar servers
Works well together