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

read_docs is exposed by the Axle MCP Server MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the read_docs 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)

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.