---
title: "Euclid-MCP"
canonical: https://penguindriver.com/s/io.github.meob%2Feuclid-mcp
markdown: https://penguindriver.com/s/io.github.meob%2Feuclid-mcp.md
retrieved: 2026-09-28
language: zh-Hant-TW
content_sha256: fa13507bcfbb03c074c12a1530d0d319ea3bfdc97b93ec17d059bb96bf9de383
cite: https://penguindriver.com/cite?path=%2Fs%2Fio.github.meob%252Feuclid-mcp
sources:
  - https://github.com/meob/Euclid-MCP
---

# Euclid-MCP

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

- 名稱：io.github.meob/euclid-mcp
- 版本：0.4.5
- 遠端：—
- 套件：pypi euclid-mcp
- 原始碼：https://github.com/meob/Euclid-MCP
- 分類：開發工具

---
MCP 伺服器資料來自官方 MCP Registry；付費 API 來自 x402 Bazaar。網頁版：https://penguindriver.com/s/io.github.meob/euclid-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