Related Servers

No user-submitted related servers found.

Related Servers

• Prolog MCP Server

  wendelinism

  A

  license

  -Not graded

  quality

  C

  maintenance

  Enables LLMs to define Prolog facts and rules and execute queries via SWI-Prolog for logical reasoning.

  Updated 10 months ago (2025-10-27 10:42 UTC)

  4

  MIT

• PlanningCopilot

  SPL-BGU

  A

  license

  -Not graded

  quality

  C

  maintenance

  A tool-augmented LLM system for the full PDDL planning pipeline, improving reliability without domain-specific training.

  Updated 6 months ago (2026-03-08 10:12 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 Solver

  swesmith-repos

  A

  license

  -Not graded

  quality

  -Not graded

  maintenance

  An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.

  Updated 7 months ago (2026-01-24 00:05 UTC)

• Chiasmus

  yogthos

  A

  license

  -Not graded

  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

• swipl-mcp-server

  vpursuit

  A

  license

  -Not graded

  quality

  C

  maintenance

  This server lets tools-enabled LLMs work directly with SWI‑Prolog. It supports loading Prolog files, adding/removing facts and rules, listing symbols, and running queries with two modes: deterministic pagination and true engine backtracking.

  Updated 9 months ago (2025-11-20 17:02 UTC)

  37

  9

  BSD 3-Clause