MCPサーバー
Euclid-MCP
io.github.meob/euclid-mcp
このMCPでできること
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
機能
ツール
0
ツール
ツール情報は公開されていません。
MCP Radarはまだこのサーバーからツール情報を取得できていません。