Euclid-MCP

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

Connector by meob · GitHub account verified by the MCP Registry

IndexedApache-2.0Local (stdio)★ 7

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/meob-euclid-mcp

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

About

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

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.

Tools: 4 read · 1 write · 1 delete · 2 not yet classified
Secrets: None asked for
Install scripts: Not scanned yet
Runs as: Python package

Tools by what they do 8

Read from the source code; the running server may list different tools.

Read 4 · Look things up without changing anything.

check_kb
explain
list_kbs
reason

Write 1 · Create, change, send or run things.

register_kb

Delete 1 · Delete, drop, revoke or wipe things.

unregister_kb

Not yet classified 2 · We could not tell from the name and description.

diagnose
what_if

Tools (8)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

check_kb
Check a knowledge base for consistency: syntax errors, undefined predicates, circular rules, duplicates.
diagnose
Diagnose why a query succeeds or fails. Modes: 'why' (explain success), 'why_not' (explain failure), 'what_needs' (what would make it succeed)
explain
Explain, in natural language, how a query is proven: walk the proof tree of each solution and return readable reasoning steps. Rule IDs are cited when present.
list_kbs
List the registered named knowledge bases (metadata only: kb_id, content_hash, version, counts).
reason
Perform logical deduction on a knowledge base and return solutions with proof trees for each result
register_kb
Register a named knowledge base under a kb_id so later calls can reference it instead of resending the KB text. Overwrites an existing kb_id. The KB is validated with check_kb first.
unregister_kb
Remove a named knowledge base from the registry. Returns 'removed': false when the kb_id is not registered.
what_if
What-if analysis: apply modifications to a knowledge base and see how they affect query results. Use + prefix to add facts, - prefix to remove facts.

Signals

Stars: 7
Forks: 0
Open issues: 0
Weekly downloads: 89
Last commit: Sep 12, 2026 (1 month ago)
Last release: Sep 19, 2026 (1 month ago)
Last package publish: Sep 19, 2026 (1 month ago)

From GitHub (fetched Oct 24, 2026) and the package registry.

Details

Registry name: io.github.meob/euclid-mcp
Version: 0.4.5
Auth: No auth
Packages: pypi euclid-mcp
License: Apache-2.0
Repository: github.com/meob/Euclid-MCP
First seen: Oct 24, 2026
Last checked: Oct 24, 2026
Source: Official MCP Registry github-graphql