io.github.sandraschi/leanforge-mcp
MCP server for AI-driven formal proof search in Lean 4
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.sandraschi/leanforge-mcp |
| 版本 | 0.1.0 |
| 分類 | 搜尋開發工具 |
| 遠端網址 | — |
| 安裝套件 | mcpb：https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb（stdio） |
| 原始碼 | https://github.com/sandraschi/leanforge-mcp |
| 網站 | — |
| 最後更新 | 2026-08-28T13:56:08.259134Z |