Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Power your agent
Add this server
The publisher's own URL. Not a PlugMCP endpoint.
Server URL
https://prover.axiomatic-ai.com/mcp/
Provider
Claude Code
claude mcp add --transport http com.axiomatic-ai-prover https://prover.axiomatic-ai.com/mcp/
Run in a terminal.
Claude Desktop
{
"mcpServers": {
"com.axiomatic-ai-prover": {
"command": "npx",
"args": [
"-y",
"mcp-remote",
"https://prover.axiomatic-ai.com/mcp/"
]
}
}
}claude_desktop_config.json
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.
LaunchRelated MCP
View more- Firecrawlπ₯ Official Firecrawl MCP Server - Adds powerful web scraping and search to Cursor, Claude and any other LLM clients.
- NNotionToken-auth Notion MCP: pages, databases, blocks, comments, files. Runs headless in CI and agents.
- Context7Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors
Related skills
View all- cognee-improve-sessionsUse when working with cognee's session memory or improve() β storing conversation turns, agent traces and feedback with session_id, bridging sessions into the permanent graph, reading an ImproveResult
- skill-improverTrigger: improve skills, audit skills, refactor skills, skill quality. Audit and upgrade existing LLM-first skills.
- Ppr-improverRuns an autonomous review-and-fix improvement loop over the current branch's changes until a PR review comes back clean, scoped mechanically to the directories the branch touched. Reviews are performe
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
README is not crawled yet. Open the repository
- 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.
- What transport does Prover use?
- Prover is reached over HTTP.
- When was Prover last checked?
- Last checked 2026-10-16. Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
No tool list yet. Remote servers get one after the first health check.