Skip to content
mcp/skillhub

Euclid MCP Server

by meobio.github.meob/euclid-mcpv0.4.5

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

7Pythonstdioofficial registry

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-mcp

Freshness

Active — last maintenance signal 21d ago. The newest of the signals below sets the band.

  1. Last commit (default branch)

    2026-09-12 · 27d ago · GitHub

  2. Latest release

    2026-09-19 · 21d ago · GitHub · v0.5.0

  3. Package published

    no data · npm/PyPI

  4. 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.