Prolog Reasoner MCP Server: Install & Setup

Install Prolog Reasoner in Claude Code

Claude Code

claude mcp add prolog-reasoner -- uvx prolog-reasoner

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

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

Frequently asked questions

What does the Prolog Reasoner MCP server do?

SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.

Is the Prolog Reasoner MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Prolog Reasoner run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Prolog Reasoner to Claude Code?

Run: claude mcp add prolog-reasoner -- uvx prolog-reasoner

More code execution MCP servers

View all

Piston

alvii147/piston-mcp

Execute code through the Piston remote code execution engine.

LocalAccount neededPython

Edict

13320

Sowiedu/Edict

Agent-oriented programming language: agents emit a JSON AST that the compiler validates, type- and effect-checks, verifies with Z3/SMT and compiles to WASM.

LocalFreeTypeScript

codecalc

The-40-Thieves/codecalc

Code and logic calculator with an offline core: run code, exact symbolic math, SMT/logic and complexity analysis, with optional gVisor/AppContainer sandboxing.

LocalFreePython

Srunx

ksterx/srunx

Submit SLURM jobs, run YAML workflows, monitor GPU resources, manage SSH profiles and sync files with local or SSH-remote HPC clusters.

LocalFreePython

jobd

musharna/jobd

Self-hostable GPU-aware job broker: dispatch long-running or GPU jobs that outlive the session, route them by VRAM tier and monitor them across sessions.

LocalFreePython

Outsource

gwbischof/outsource-mcp

Delegate tasks to other AI providers' models, e.g. ask OpenAI to generate an image.

LocalAccount neededPython