Loading page

Directory Docs Sign in

Euclid-MCP | MCP Server · MCP.computer

Directory Docs Sign in

Directory/Euclid-MCP

Euclid-MCP

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

Visit publisher

Publisher and curation labels describe the evidence shown below; they do not promise a managed connection.

Connection

No remote MCP endpoint is published for this listing.

Type: Integration
Transport: stdio
Visibility: Public

Published metadata

Publisher: Euclid-MCP
Publisher status: Verified publisher
Curation: Not curated by MCP.computer
Category: Uncategorized

Registry source

No capability manifest has been published for this listing yet.

Give your team approved access without configuring every app separately.

Create a workspace

One governed connection for your company’s tools, models, and knowledge.

ExploreDirectory Platform Catalog updates Company brain Documentation Apps & downloads

WorkspaceOpen workspace Talk to us

CompanyPrivacy Terms Contact

© 2026 MCP.computer