回首頁com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
| 項目 | 內容 |
|---|---|
| 名稱 | com.axiomatic-ai/prover |
| 版本 | 0.1.0 |
| 分類 | — |
| 遠端網址 | https://prover.axiomatic-ai.com/mcp/（streamable-http） |
| 安裝套件 | — |
| 原始碼 | https://github.com/Axiomatic-AI/ax-prover-base-mcp |
| 網站 | — |
| 最後更新 | 2026-02-23T22:16:23.957805Z |