Search

Home › Development › Prolog Reasoner

Prolog Reasoner

SWI-Prolog as a logic calculator for LLMs

Python Local macOSWindowsLinux
★ 11 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

P

pydantic-ai

Development

Run Python code in a secure sandbox via MCP tool calls

★ 20,133 MCP Server
C

container-use

Development

Containerized environments for coding agents. Multiple agents can work independently, isolated in fresh containers and git branches. No…

★ 4,046 MCP Server
R

runtime

Development

Run untrusted Python/JavaScript code in WebAssembly sandboxes.

★ 296 MCP Server
O

openapi-mcp

Development

OpenAPI-MCP: Dockerized MCP Server to allow your AI agent to access any API with existing api docs.

★ 196 MCP Server
N

node-code-sandbox-mcp

Development

A Node.js MCP server that spins up isolated Docker-based sandboxes for executing JavaScript snippets with on-the-fly npm dependency…

★ 157 MCP Server
M

mcp-v8

Development

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

★ 57 MCP Server

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

Data from the Official MCP Registry