Euclid-MCP
本地Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
安装配置
{
"mcpServers": {
"euclid-mcp": {
"command": "npx",
"args": [
"euclid-mcp"
]
}
}
}
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
{
"mcpServers": {
"euclid-mcp": {
"command": "npx",
"args": [
"euclid-mcp"
]
}
}
}