axiomatic-ai/prover

latest · 0.1.0

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

GitHub: Axiomatic-AI/ax-prover-base-mcp
MCP registry: com.axiomatic-ai/prover

Install

claude mcp add --transport http com-axiomatic-ai-prover https://prover.axiomatic-ai.com/mcp/

/mcp confirms it's connected.

Install

Or add it manually in ~/.cursor/mcp.json:

{
  "mcpServers": {
    "com-axiomatic-ai-prover": {
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  }
}

In claude_desktop_config.json (Settings → Developer → Edit Config), then restart:

{
  "mcpServers": {
    "com-axiomatic-ai-prover": {
      "command": "npx",
      "args": [
        "-y",
        "mcp-remote",
        "https://prover.axiomatic-ai.com/mcp/"
      ]
    }
  }
}

Endpoint, any MCP client:

https://prover.axiomatic-ai.com/mcp/

Community score

Community17/ 100

from web signals · no reviews yet (community v3)

Web signals (ecosystem baseline)17/100 · 100% of the weight

Used it? Rate v0.1.0

No reviews yet — be the first.

What the web says

Ecosystem baseline17/ 100

Objective public usage & activity (formula v3) — the community score's web-signals input, and its own sort.

GitHubsource ↗

GitHub stars · 29 days ago: ★ 0
Last commit · 29 days ago: 202 days ago
Issue close rate · 29 days ago: 0%

Packages

No package-registry data collected yet.

Listed on

Not yet found on other registries or list sites.

Mentions

No public discussion scraped yet.

Docs & liveness

No liveness or verification signals yet.

Version history1

0.1.0release date unknown

Badge for your README

Shows this page's community score and its sample, kept current, and links readers here to review.

[![rateme12 community score](https://api.rateme12.com/servers/d5696313-beb6-4e64-9606-98f984b02fbc/badge.svg)](https://rateme12.com/servers/d5696313-beb6-4e64-9606-98f984b02fbc)

Details

Transport: streamable-http
Status: listed
Source: Imported from the MCP registry
Repository: source ↗