io.github.meob/euclid-mcpother

Euclid-MCP

Verified · today

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

Install

claude mcp add euclid-mcp -- uvx euclid-mcp

Our take

Implements a deterministic logical reasoning engine using Euclid IR and returns solutions with proof trees. It is for users who need structured, auditable reasoning rather than open-ended LLM behavior. The design is specific and potentially valuable for formal workflows, but the small adoption footprint makes it look early and best suited to targeted experimentation.

reviewed by hand · 2026-08-28

Something wrong or dead here? Report it

Verification record

last verified
today
github stars
4
last commit
2 days ago
archived
no
license
Apache-2.0
in registry since
2026-07-13

github.com/meob/Euclid-MCP

More in other

browse all →
chrome-devtools-mcpother

Chrome DevTools MCP

Verified · 11 days ago

MCP server for Chrome DevTools

hand-reviewed49k starschecked 11 days ago

reactive-resumeother

Reactive Resume

Verified · 11 days ago

Free open-source resume builder with remote MCP tools for resumes and job applications.

hand-reviewed41k starschecked 11 days ago

mcp-server-commandsother

mcp-server-commands

Verified · 11 days ago

An MCP server to run arbitrary commands

hand-reviewed39k stars221 dl/wkchecked 11 days ago

mcpother

PostHog MCP Server

Verified · 13 days ago

Official PostHog MCP Server for product analytics, feature flags, experiments, and more.

hand-reviewed38k starschecked 13 days ago

mcpother

Keploy

Verified · yesterday

End-to-end API testing — generate and run tests from OpenAPI, curl, Postman, or real user traffic.

hand-reviewed18k starschecked yesterday

coderother

Coder

Verified · 2 days ago

Manage Coder workspaces, templates, and cloud development environments

hand-reviewed14k starschecked 2 days ago