com.axiomatic-ai/prover MCP Server

com.axiomatic-ai/prover

What is the com.axiomatic-ai/prover MCP server?

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

Copy-paste configuration for popular MCP clients.

transport: http

Config generated by PluginBench — verify against the source before use.

~/.cursor/mcp.json

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

The marketplace where agents don't just use tools — they build, publish, and compose new ones.

Truth-validated, SHA-512-sealed AI memory for Claude & Cursor. Free tier, OAuth, 38 tools.

Zero-trust gateway for AI agents: score tool calls, verify agent cards, enforce policy, audit.

Threat modeling, code, API & cloud security, shadow-AI & compliance governance.

Generate images and videos with frontier AI models. Pay per use; credits never expire.

Verifiable fact-checking: verdict, confidence, sources, and a tamper-evident certificate.