Related Servers

No user-submitted related servers found.

Related Servers

• SmartMemory

  MauriceIsrael

  A

  license

  A

  quality

  D

  maintenance

  An MCP server that gives LLMs structured, verifiable memory by storing facts in a knowledge graph and enabling logic-based reasoning through natural dialogue.

  Updated 3 months ago (2026-06-27 13:15 UTC)

  14

  3

  MIT

• UltraThink

  husniadil

  A

  license

  A

  quality

  D

  maintenance

  A Python-based MCP server that facilitates structured problem-solving through sequential thinking, branching, and confidence scoring. It allows users to track assumptions and manage multiple concurrent reasoning sessions to break down complex tasks.

  Updated 5 months ago (2026-04-15 02:21 UTC)

  1

  19

  MIT

• Euclid-MCP

  Euclid-BG

  A

  license

  B

  quality

  A

  maintenance

  MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.

  Updated 3 days ago (2026-09-12 22:01 UTC)

  8

  6

  Apache 2.0

• MCP-Logic

  angrysky56

  A

  license

  -Not graded

  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 a month ago (2026-08-15 00:20 UTC)

  46

  MIT

• 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 2 months ago (2026-07-27 22:04 UTC)

  4

  MIT

• math-logic-mcp

  ismailkerimov

  A

  license

  A

  quality

  D

  maintenance

  MCP server that gives small LLMs verified symbolic-math & logic tools.

  Updated 7 months ago (2026-02-20 12:40 UTC)

  6

  1

  Apache 2.0