Skip to main content
Glama
snegi26

Euclid-MCP

by snegi26
OverviewSchemaRelated ServersScoreDiscussions
Python
Hybrid

Related Servers

Alternatives to Euclid-MCP

No user-submitted related servers found.

    Related Servers

    • Euclid-MCP

      meob
      A
      license
      B
      quality
      A
      maintenance
      MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
      8
      3
      Apache 2.0

    • prolog-mcp

      umuro
      F
      license
      A
      quality
      C
      maintenance
      MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.
      7
      7

    • MCP-Logic

      angrysky56
      A
      license
      -
      quality
      B
      maintenance
      MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
      46
      MIT

    • Chiasmus

      yogthos
      A
      license
      -
      quality
      A
      maintenance
      MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.
      89
      207
      Apache 2.0

    • Pyke MCP Server

      NewJerseyStyle
      A
      license
      -
      quality
      C
      maintenance
      An MCP server for the Pyke logic programming engine that enables LLMs to perform logical reasoning using knowledge bases with facts, rules, and queries. It supports session management, forward chaining inference, and bulk loading of programs in Logic-LLM format.
      MIT

    • Atom of Thoughts

      dioptx
      A
      license
      A
      quality
      D
      maintenance
      Structured reasoning MCP server that decomposes problems into atomic steps (premise, reasoning, hypothesis, verification, conclusion) with confidence scoring, live visualization, and approval feedback.
      3
      79
      MIT

    Latest Blog Posts

    MCP directory API

    We provide all the information about MCP servers via our MCP API.

    curl -X GET 'https://glama.ai/api/mcp/v1/servers/snegi26/euclidMCPPaper'

    If you have feedback or need assistance with the MCP directory API, please join our Discord server