Axle MCP Server
UnclaimedMCP Server for AI agents to interact with our Lean infrastructure
Install
$
claude mcp add axle -e AXLE_API_KEY=your_api_key_here -- uvx --from axiom-axle-mcp axle-mcp-serverUnclaimed listing
Is this your MCP server?
This listing was auto-indexed from the public record. Claim it to edit the page, set compatibility and unlock growth tools. Takes under two minutes.
Claim this serverTools (4)
list_environments
List the available Lean environments.
read_docs
Read the AXLE documentation. Call with no arguments for the page index, then page="verifyproof" for one page.
read_share_url
Read back the inputs and result behind a share URL.
share_url
Turn a prior call's requestid into a permanent shareable webapp URL.