Developer · Remote MCP server
Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
What the MCP Registry states
The entry as published to the official MCP Registry (read 2026-10-04), latest version.
- Registry name
com.axiomatic-ai/prover- Version
- 0.1.0
- Status
- Active
- Category
- developer
- Transport
- Streamable HTTP
- Published
- 2026-02-23
- Updated
- 2026-02-23
- Publisher
- com.axiomatic-ai
- Repository
- github.com/Axiomatic-AI/ax-prover-base-mcp
- Source
- Registry API entry
Remote endpoints
| Transport | URL | Headers declared |
|---|---|---|
| Streamable HTTP | https://prover.axiomatic-ai.com/mcp/ | None |
How to connect Prover
Prover is a remote MCP server: there is nothing to install. Its endpoint is https://prover.axiomatic-ai.com/mcp/, served over Streamable HTTP. In an assistant that accepts remote MCP servers (often under a setting named connectors, integrations or tools), add a new server and give it this URL; in a client configured by file, add it as a remote (HTTP) server with the same URL.
No headers are declared in the registry entry. If the server needs you to sign in, a client that supports MCP authorization opens the service's own sign-in page when it first connects.
Derived from the registry entry, not tested here. What the server does, and on what terms, is set by its publisher; check its repository or website before giving it access to your accounts or files. How to add an MCP server to an assistant · Before you connect
More developer servers
| Server | Runs |
|---|---|
| Provar MCP ServerProvar MCP: AI-powered Salesforce test automation. Generate, validate, migrate, and run tests. | Local · stdio |
| Provena Agent MemorySelf-hosted MCP memory for AI agents: persistent context with evidence-backed claims. | Local · stdio |
| ProvenanceStamp or notarize data into a public witnessed transparency log. Proves timing, not truth. | Remote · HTTP |
| ProvenToolsRead-only ProvenTools business ideas, evidence, build prompts, and validation reports. | Local · stdio |
| ProvidersVerified cloud storage provider facts: prices, storage, encryption. Dated and source-cited. | Remote · HTTP |
| Provision StackOutcome-based infrastructure for agents — verified AWS deployments, metered billing. | Remote · HTTP |
| ProxmoxMCP-PlusProxmox VE MCP server for VMs, LXCs, snapshots, backups, storage, and cluster operations. | Local · stdio |
| Proxy VeilResidential proxy MCP server for AI agents — geo-targeting, sticky sessions, anti-bot bypass. | Local · stdio |