30

MCP

Euclid-MCP

io.github.meob/euclid-mcp

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

Uptime

0.0%

3 probes

Response

0ms

last probe

Tools

0

callable

Primary URL

—

Similar MCP servers embedding-nearest

MCP server for deterministic logical reasoning via Prolog — transforms facts into formal proofs

        0 tools
      

MCP server providing verified math & logic tools for small LLMs (Mistral, Llama, DeepSeek)

        0 tools
      

@mseep/mcp-dual-cycle-reasoner

MCP server implementing dual-cycle metacognitive reasoning framework for autonomous agents

        0 tools
      

iflow-mcp_mcp_logic

MCP server for logical reasoning using Prover9

        0 tools
      

discrete-structures-mcp

MCP server for Discrete Mathematics: Boolean Logic, Algorithms, Number Theory, Cryptography. 21 AI-ready tools for education and research.

        0 tools
      

MCP server for Inferra — deterministic rule-based decisions with RAG-powered explanations

        0 tools
      

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "euclid-mcp": {
      "url": "None",
      "transport": "http"
    }
  }
}