list_environments

MCP tool from Axle MCP Server by AxiomMath

List the available Lean environments.

How to use it

list_environments is exposed by the Axle MCP Server MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the list_environments tool becomes available to the model automatically. See the full listing for setup details and every tool this server provides.

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.