lookupd

com.axiomatic-ai/prover

needs login checked

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

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

Summary by lookupd

Lets an agent compile Lean 4 code, prove theorems, and formalize mathematics using the Mathlib library.

Install

Claude Code, remote (streamable-http)

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

Codex, remote (streamable-http)

codex mcp add prover --url https://prover.axiomatic-ai.com/mcp/

Cursor, remote (streamable-http) → .cursor/mcp.json

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

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for com.axiomatic-ai/prover

[![lookupd status](https://lookupd.com/badge/com.axiomatic-ai/prover.svg)](https://lookupd.com/servers/com.axiomatic-ai/prover)