Euclid MCP
未认领Euclid-MCP server for logical reasoning: turns facts into formal proofs. Euclid-MCP is a hybrid cognitive architecture: a lightweight LLM describes the world in facts, and a deterministic engine performs the actual deduction. The LLM never needs to reason — it only needs to describe.
安装
$
python3 -m euclid_mcp更多AI & ML服务器
浏览完整目录安全概况
已认领和已认证的服务器每周接受一次静态扫描，显示代码能触及的范围（外部服务、环境变量、shell 命令、代理配置目录）以及带有已知公告的依赖。认领此列表即可获得。 安全概况的工作原理
8 个工具中显示 8 个
文档中列出的工具 (8)
内容来自项目文档。服务器握手不会验证每个工具的说明或行为。
check_kb
Validate KB consistency before reasoning
diagnose
Understand why a query succeeds or fails
explain
Readable, natural-language reasoning steps
list_kbs
List registered named KBs (metadata)
reason
Main deduction — get solutions + proof trees
register_kb
Register a named KB under a kbid
unregister_kb
Remove a named KB from the registry
what_if
Test modifications before applying them