prover

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

安装

将以下内容添加到你的 `claude_desktop_config.json` 文件中：

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

远程端点

https://prover.axiomatic-ai.com/mcp/streamable-http

它能做什么

尚未记录任何可发布的工具枚举。

社区

证据