Euclid MCP Server
by meobio.github.meob/euclid-mcpv0.4.5
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
context tax
queued
security
queued
cold start
queued
freshness
Active21d ago
Install Euclid MCP server
Install in Claude Code
claude mcp add euclid -- uvx euclid-mcpInstall in Cursor
{
"mcpServers": {
"euclid": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"euclid": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"euclid": {
"type": "stdio",
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"euclid": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Freshness
Active — last maintenance signal 21d ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-09-12 · 27d ago · GitHub
Latest release
2026-09-19 · 21d ago · GitHub · v0.5.0
Package published
no data · npm/PyPI
Registry entry updated
2026-08-21 · 49d ago · official registry · v0.4.5
FAQ
›How do I install the Euclid MCP server in Claude Code?
Run: claude mcp add euclid -- uvx euclid-mcp. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Euclid require an API key?
No required environment variables are declared in its published metadata.
›Can I use Euclid as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Euclid in the official MCP registry?
Yes, as io.github.meob/euclid-mcp.