Back to search
30
MCP

axiom-axle-mcp

pypi/axiom-axle-mcp

MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients

Uptime
0.0%
5 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
0 tools · streamable-http
axe MCP Server
Official MCP server for Axe DevTools for Web.
0 tools
agile-mcp-server
An Agile Project Management MCP Server that transforms LLMs into powerful agile assistants
0 tools
lean-mcp
MCP server and client for Lean 4 + Mathlib formal verification
0 tools
mare-browser-mcp
Lean, LLM-first browser automation MCP server. Gives Claude, OpenCode, or any MCP client a real browser to navigate, interact with, and debu
0 tools
axm-mcp
AXM MCP Server — Runtime execution for the axm-protocols ecosystem
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "axiom-axle-mcp": {
      "url": "None",
      "transport": "http"
    }
  }
}