axle-mcp
by Vilin97 · Added 9d ago
Install
git clone https://github.com/Vilin97/axle-mcpAbout
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.
Tags
ai-mlmcp-serverglama