How do I install prover?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

How is the trust score calculated?

This listing scores 37 (Limited). The formula is published on the methodology page.

prover MCP Server — Install for Claude, Cursor & VS Code | MCPpedia

Name: prover MCP Server
Author: axiomatic-ai

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

RegistryRemoteaxiomatic-ai

37Limited

~/Library/Application Support/Claude/claude_desktop_config.json

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

This server does not declare environment variables.

83Excellent

Parse Korean documents (HWP, HWPX, PDF, XLSX, DOCX, PPTX) to Markdown; fill forms, diff, render.

Registrychrisryugj2.5K stars44.2K/wk

75Good

Google PageSpeed Insights and CrUX: six workflow tools for web performance.