com.axiomatic-ai/prover✓

The full server descriptor as registered with IndusMCP.

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "com.axiomatic-ai/prover",
  "description": "Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.",
  "repository": {
    "url": "https://github.com/Axiomatic-AI/ax-prover-base-mcp",
    "source": "github"
  },
  "version": "0.1.0",
  "remotes": [
    {
      "type": "streamable-http",
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  ],
  "_meta": {
    "dev.indusmcp/source": "official-registry-mirror",
    "dev.indusmcp/synced": "2026-05-12"
  }
}