How do I install Prover?

Copy the http config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.

Does Prover need an API key?

No required environment variable is listed on this record.

When was Prover last checked?

Last checked 2026-10-19. Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Prover MCP server

Power your agent

Add this server

The publisher's own URL. Not a PlugMCP endpoint.

Add to Cursor Add in Claude Add to VS Code Run on PlugMCP

Host a copy with our keys and logs.

Server URL

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

The Claude button above opens Claude with the name and URL filled in. You still confirm it there.

shClaude Code

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

Run in a terminal.

jsonClaude Desktop

1{2  "mcpServers": {3    "com.axiomatic-ai-prover": {4      "command": "npx",5      "args": [6        "-y",7        "mcp-remote",8        "https://prover.axiomatic-ai.com/mcp/"9      ]10    }11  }12}

claude_desktop_config.json

Remote · HTTPPublisher installStep-by-step: add this in Claude

Remote URL or a command on your machine? How the two installs differ

Run on PlugMCP

Host a copy with our keys and logs.

A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.

Launch

Server facts

Remote

Transport: http
Version: 0.1.0
Last checked

Tools

No tool list yet. Remote servers get one after the first health check.

FAQ

Tool	Description
`lean4_build`	Compile Lean 4 source code in a Mathlib-enabled sandbox. Code is sent to external cloud services for compilation; if proving, also for AI processing.
`lean4_prove_theorems`	Automatically prove Lean 4 theorems that contain `sorry`. Code is sent to external cloud services for compilation and AI proving.

Prover

Add this server

Host a copy with our keys and logs.

Server facts

Tools

Questions

How do I install Prover?

Does Prover need an API key?

What transport does Prover use?

When was Prover last checked?

Documentation

Axiomatic Prover — MCP Server

Connect

Tools

Submit (async — returns a `job_id`)

Poll

Links

Add this server

Host a copy with our keys and logs.

Server facts

Tools

Questions

How do I install Prover?

Does Prover need an API key?

What transport does Prover use?

When was Prover last checked?

Documentation

Axiomatic Prover — MCP Server

Connect

Tools

Submit (async — returns a job_id)

Poll

Links

Submit (async — returns a `job_id`)