$git clone https://github.com/AxiomMath/axle-mcp-server
Installs into the current project.
Summary
MCP Server for AI agents to interact with our Lean infrastructure