com.axiomatic-ai/prover

com.axiomatic-ai/prover

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

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Cursor · HTTP clients.

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

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
AI & ML
Version
0.1.0
Registry
active
Published
2/23/2026

Remotes

  • streamable-httphttps://prover.axiomatic-ai.com/mcp/

More AI & ML servers

Browse all AI & ML →

com.babyblueviper/invinoveritas

babyblueviper1

Second opinion before an irreversible agent action; signed proofs, free verify, public ledger.

AI & MLAdded 1 month ago

BACKLNK

BACKLNK

Free technical SEO, AEO, LLMO and GEO checks for AI agents: check a page, fix it, verify the fix.

AI & MLAdded 4 days ago

Backtest360

Backtest360

MCP server exposing the Backtest360 engine API as tools for AI agents.

AI & MLAdded 3 months ago

com.balmasai/balmas-mcp

YaakovTzedek

Agents read cleaned copies of your files: PII replaced with local consistent tokens. Read-only.

AI & MLAdded 2 months ago

BananaCrystal: FX rates, swaps and payments in 140+ currencies

BananaCrystal

Give your AI agent a wallet: live FX rates, swaps and payments in 140+ local currencies.

AI & MLAdded 3 days ago

Banger

bangermail

All your company email, operated by agents and reviewed by you.

AI & MLAdded 1 month ago

Add the badge to your site

Show visitors that com.axiomatic-ai/prover is listed here — it’s also the link we check for a free listing.

com.axiomatic-ai/prover — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/com-axiomatic-ai-prover?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="com.axiomatic-ai/prover — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![com.axiomatic-ai/prover — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/com-axiomatic-ai-prover?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.