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

できること

公開できるツールの列挙は記録されていません。

コミュニティ

エビデンス