axle-mcp
Rank #31028glama/Vilin97/axle-mcp
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.
axle-mcp is a Model Context Protocol (MCP) server published by Vilin97. It ranks #31028 of 58,900 servers tracked on MCP Toplist, and its repository has 2 GitHub stars. axle-mcp is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Mar 6, 2026.
Ranks ahead of 27,872 of 58,900 servers on MCP Toplist.
Use axle-mcp
axle-mcp doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 1 registry
Vilin97
Not versioned
This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is axle-mcp?
- 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.
- Who maintains axle-mcp?
- axle-mcp is maintained by Vilin97, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is axle-mcp an official MCP server?
- axle-mcp is not on the Official MCP Registry. It is listed on Glama.
- How many versions does axle-mcp have?
- axle-mcp ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for axle-mcp?
- The source code for axle-mcp is hosted at github.com/Vilin97/axle-mcp.