Search

Home › Development › Prolog Reasoner

Prolog Reasoner

SWI-Prolog as a logic calculator for LLMs

Python Local macOSWindowsLinux
★ 12 stars Last pushed 2026-05-01 License: MIT
View repository →

Topics: Code Execution

Connect

Review any command before running it. Package names and URLs come from the server's own registry entry.

Package (pypi 0.2.1)

uvx prolog-reasoner

Or add to your MCP client config:

{
  "mcpServers": {
    "prolog-reasoner": {
      "command": "uvx",
      "args": [
        "prolog-reasoner"
      ]
    }
  }
}

Related servers

C

container-use

Development

Containerized environments for coding agents: each agent works in its own fresh container and git branch, with execution history and…

★ 4,089 MCP Server
R

runtime

Development

Run untrusted Python/JavaScript code in WebAssembly sandboxes.

★ 304 MCP Server
C

ckanthony/openapi-mcp

Development

Access any API through its existing OpenAPI documentation.

★ 199 MCP Server
N

node-code-sandbox-mcp

Development

Run JavaScript snippets in isolated Docker sandboxes with on-the-fly npm dependency installation and clean teardown.

★ 156 MCP Server
M

mcp-v8

Development

Run JavaScript and TypeScript in sandboxed V8 isolates with policy-controlled host capabilities.

★ 64 MCP Server
M

mcp-server-js

Development
Official

Run LLM-generated code in a YepCode sandbox and create custom MCP tools in JavaScript or Python with npm and PyPI packages.

★ 47 MCP Server

Listed in punkpeye/awesome-mcp-servers (MIT)

Data from the Official MCP Registry