Related Servers

No user-submitted related servers found.

Related Servers

• Chiasmus

  yogthos

  A

  license

  -Not graded

  quality

  B

  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 19 days ago (2026-09-04 19:34 UTC)

  26 npm

  213

  Apache 2.0

• prolog-mcp

  umuro

  F

  license

  A

  quality

  D

  maintenance

  MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.

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

  7

  7

  -

• 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

  2

  Apache 2.0

• 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 4 hours ago (2026-09-24 01:43 UTC)

  8

  132 PyPI

  6

  Apache 2.0

• 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

• warrant-mcp

  jayden-chmod

  F

  license

  -Not graded

  quality

  D

  maintenance

  An MCP server that provides formal reasoning and argument validation tools for AI agents based on established computational argumentation theories. It enables structured argument analysis, defeasible reasoning, and dialogue management using frameworks like Dung, Toulmin, and Walton's schemes.

  Updated 7 months ago (2026-02-11 09:09 UTC)

  -