read_docs

MCP tool from Axle MCP Server by AxiomMath

Read the AXLE documentation. Call with no arguments for the page index, then page="verifyproof" for one page.

How to use it

Project documentation lists read_docs 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)

list_environments

List the available Lean environments.

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.