Related Servers

No user-submitted related servers found.

Related Servers

• Euclid-MCP

  snegi26

  A

  license

  A

  quality

  C

  maintenance

  Deterministic logical reasoning server for MCP clients that compiles facts, rules, and queries to Prolog and returns exact answers with proof trees.

  Updated 23 days ago (2026-07-27 22:04 UTC)

  4

  MIT

• 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.

  Updated 2 months ago (2026-06-17 13:38 UTC)

  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.

  Updated 5 days ago (2026-08-15 00:20 UTC)

  46

  MIT

• 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.

  Updated 7 months ago (2026-01-26 04:49 UTC)

  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.

  Updated 2 months ago (2026-06-29 12:19 UTC)

  89

  207

  Apache 2.0

• dali2-logic-reasoner

  lollix91

  F

  license

  -

  quality

  C

  maintenance

  MCP server that exposes the DALI2-Agent-Brain symbolic verification system as tools, allowing MCP clients to submit reasoning problems for formal Prolog-based verification.

  Updated a month ago (2026-07-21 14:24 UTC)