How do I connect Axle MCP Server to Claude?

The listing records `claude mcp add axle -e AXLE_API_KEY=your_api_key_here -- uvx --from axiom-axle-mcp axle-mcp-server` as its setup step. Run it, then follow the repository's instructions for the client configuration; the listing names Claude Desktop, Claude Code, Cursor as compatible clients.

Is Axle MCP Server free?

The listed licence is MIT. Check the upstream terms for permitted use and commercial requirements; a public repository does not by itself mean the software is free or open source. Connected APIs and hosted services may have separate charges.

What can Axle MCP Server do?

Axle MCP Server documents 4 tools to the agent, including list_environments, read_docs, read_share_url. The descriptions above come from project documentation. A live handshake does not test individual tool behavior.

Axle MCP Server

Unclaimed

by AxiomMath

MCP 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-server

Set up this server

Compare servers My Stack

This server needs project-specific setup. Follow the project instructions; no reusable public launch command is available yet.

Project instructions

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 server

Security profile

Claimed and verified servers get a weekly static scan that shows what the code can reach: external services, environment variables, shell commands, agent configuration folders, plus any dependencies with known advisories. Claim this listing to get one. How the security profile works

Documented tools (4)

From project documentation. A server handshake does not verify each tool’s description or behavior.

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.

Tool change history

Compared across complete checks of the same configuration. Tools were listed, not invoked. Input-schema changes are not measured here.

No complete tool checks yet.

FAQ

Questions about Axle MCP Server

How do I connect Axle MCP Server to Claude?: The listing records `claude mcp add axle -e AXLE_API_KEY=your_api_key_here -- uvx --from axiom-axle-mcp axle-mcp-server` as its setup step. Run it, then follow the repository's instructions for the client configuration; the listing names Claude Desktop, Claude Code, Cursor as compatible clients.
Is Axle MCP Server free?: The listed licence is MIT. Check the upstream terms for permitted use and commercial requirements; a public repository does not by itself mean the software is free or open source. Connected APIs and hosted services may have separate charges.
What can Axle MCP Server do?: Axle MCP Server documents 4 tools to the agent, including list_environments, read_docs, read_share_url. The descriptions above come from project documentation. A live handshake does not test individual tool behavior.