Skip to content
Agentmart
Submit a tool

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
Write a review

Chalk Labs

Need help deploying Euclid-MCP?

Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.

Book a call

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.

We use your email only for this newsletter. Privacy

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, install config and code. Checked Nov 1, 2026.

Tools
4 read · 1 write · 1 delete · 2 not yet classified
Secrets
None asked for
Install scripts
None found
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

Network hosts it talks to 3

  • github.com · found in code
  • glama.ai · found in code
  • opencode.ai · found in code

Files it touches

  • /opt/homebrew/bin/swipl

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 Registrygithub-graphql

More from meob

Done for you

Rather not set it up yourself?

Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.

See how we build AI agents →Read the case studies

Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.

launches shipped
50+
launches shipped
media placements
500+
media placements
founders on every account
2
founders on every account

Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block

Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.

Get Euclid-MCP running in your business

Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.

Goes to the Chalk Labs founders, not the newsletter. Privacy

Need help deploying Euclid-MCP?

CallGet help
Cite this page

Euclid-MCP. Agent Mart. https://agentmart.dev/connectors/meob-euclid-mcp (last updated 2026-10-24)