list_environments

MCP tool from Axle MCP Server by AxiomMath

List the available Lean environments.

How to use it

Project documentation lists list_environments for the Axle MCP Server MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), then check which tools your installed version makes available. Tool availability can depend on configuration and credentials. A server handshake does not verify this tool’s behavior. See the full listing for setup details.

Install Axle MCP Server

$claude mcp add axle -e AXLE_API_KEY=your_api_key_here -- uvx --from axiom-axle-mcp axle-mcp-server

FULL AXLE MCP SERVER LISTING

Other tools in Axle MCP Server (3)

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.