Axle

Verified Integration

Author: @allowing•Category: ServerApplication

GitHub Repository

JSON-RPC 2.0

Protocol Standard

Sub-second

Execution Latency

Active

Operational Status

Client Configuration

— Connect Axle to Claude Desktop or Cursor in seconds

{
  "mcpServers": {
    "axle": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-axle"
      ],
      "env": {}
    }
  }
}

Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows).

Architecture & Capabilities

System Overview

Exposes the AXLE (Axiom Lean Engine) CLI as tools for AI assistants, enabling remote Lean 4 proof engineering capabilities.

Indexed Date

7/22/2026

License

Open Source

Protocol Layer

stdio / SSE RPC

Frequently Asked Questions

Architecture and operational details for Axle

Axle (axle-mcp) exposes the AXLE CLI as tools for AI assistants, enabling remote Lean 4 proof engineering capabilities. Its primary purpose is to allow AI assistants to interact with Lean 4 code without requiring a local Lean installation.

Related MCP Servers

Browse all servers →

@configuring

0xArchive

Provides comprehensive historical and real-time crypto market data, including orderbooks, trades, candles, and more, from Hyperliquid, HIP-3, and Lighter.xyz.

MCP Server5 FAQs

Learn more

@spawning

0xGasless

Facilitates gasless blockchain transactions and interactions directly from Claude AI conversations.

MCP Server4 FAQs

Learn more

@spawning

0xGasless

Bridges Claude AI with blockchain networks, enabling gasless transactions, swaps, and transfers directly from natural language conversations.

MCP Server5 FAQs

Learn more