MCPVault / 比较服务器
比较服务器
最多选择三个服务器，比较用途、连接方式和实际检查结果。
| 比较服务器 | 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. |
| 认证（维护者声明） | 未知 |
| 公开启动命令 | 专门配置 |
| 配置来源 | 公开安装说明 |
| 已观测工具 | 未知 |
| 最近一次完整工具检查 | 未知 |
| 许可证 | Apache-2.0 |
| 打开设置 |