Skip to main content
Glama
vpursuit

swipl-mcp-server

by vpursuit
OverviewSchemaSourceRelated ServersDiscussionsAdmin
TypeScript
Local

Related Servers

Alternatives to swipl-mcp-server

No user-submitted related servers found.

    Related Servers

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

    • 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.
      26 npm
      213
      Apache 2.0

    • Pyke MCP Server

      NewJerseyStyle
      A
      license
      Not graded
      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

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

    This server cannot be deployed

    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    Maintenance

    ActivityInactive
    ResponsivenessNo issues

    Resources