EU

Euclid MCP

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

Grade A Local · stdio No auth needed 8 tools v0.5.0 · 19 Sep 2026 Apache-2.0
No reviews yet by meobPyPI 8,056 Runs on your machine, nothing hosted
93/100
trust score
5
downloads a day
local
runs on your machine
100
downloads in 30d

What it does

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

Quickstart

# 1 — add it to Claude Code claude mcp add --scope user meob-euclid-mcp '--' uvx euclid-mcp # 2 — ask your agent for something these tools do # reason, explain, diagnose and 5 more

Euclid costs nothing on mcprush: there is no plan to choose here, no cap to set and nothing mcprush can bill you for.

Publishernot claimed
ME
meob2 servers
2 categories
All 2 servers

Collected from a public index. Nobody has claimed this account, so nothing here was written by its author — claim it if it is yours.

More in this category

See also

See all