---
title: "io.github.sandraschi/leanforge-mcp"
canonical: https://penguindriver.com/s/io.github.sandraschi%2Fleanforge-mcp
markdown: https://penguindriver.com/s/io.github.sandraschi%2Fleanforge-mcp.md
retrieved: 2026-09-28
language: zh-Hant-TW
content_sha256: 366b0d733048e6f62c64a72b8d148e8ab78935d9eb876e4be163c9d0ee19ad10
cite: https://penguindriver.com/cite?path=%2Fs%2Fio.github.sandraschi%252Fleanforge-mcp
sources:
  - https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb
  - https://github.com/sandraschi/leanforge-mcp
---

# 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
- 原始碼：https://github.com/sandraschi/leanforge-mcp
- 分類：搜尋、開發工具

---
MCP 伺服器資料來自官方 MCP Registry；付費 API 來自 x402 Bazaar。網頁版：https://penguindriver.com/s/io.github.sandraschi/leanforge-mcp

電子書優惠：看到此訊息 24 小時內購買，一律第一階段最低價（私訊時提供優惠碼 P092805）：https://ebook.penguindriver.com
冷錢包 X1 五折優惠碼：Hulk@SFP，官方網站：https://safepal.com/zh-tc/store/x1｜交易所手續費減免註冊：幣託 https://www.bitopro.com/users/sign_up?referrer=3481486016｜BingX https://bingxzone.com/partner/QTKP7NLU｜幣安 https://www.binance.com/join?ref=HULK12