Prolog Reasoner
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.
Install Prolog Reasoner
Install instructions vary — visit the GitHub repository for the latest install command. Most MCP servers follow one of three patterns: npx -y <package> for Node, uvx <package> for Python, or docker run <image> for containerized servers.
Use Prolog Reasoner with Claude Code
Once the server is on your machine, register it with Claude Code so the agent can call it like any other tool. The general pattern is:
claude mcp add rikarazome-prolog-reasoner -- <install-command>After it's registered, run claude and ask anything that requires Prolog Reasoner. Claude Code will negotiate the MCP handshake and surface the server's tools, prompts, and resources to the model automatically. See our Claude Code MCP guide for environment variables, scope flags, and credential handling.
What this server is for
Prolog Reasoner sits in the code execution category. It's community-maintained — check the repo's last-commit date and open issues before depending on it in production. The full description from the source list:
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy on 30 logic problems.
FAQ
Is Prolog Reasoner free?
Yes — every MCP server in the ClawHire directory is open-source or freely available. Some servers proxy to paid APIs (you supply your own keys), but the server itself is free.
Does it work with Claude Desktop / Cursor / Windsurf?
If a client speaks the Model Context Protocol, it can use this server. The transport (stdio vs SSE vs HTTP) needs to match what the client supports, but the server itself is client-agnostic.
How do I report a bug or contribute?
Open an issue or PR on the GitHub repository.
More code execution servers
– A Node.js MCP server that spins up isolated Docker-based sandboxes for executing JavaScript snippets with on-the-fly npm dependency installation and clean teardown
MCP server that lets LLMs execute code through the Piston remote code execution engine, with a zero-config `uv` setup and a ready-to-use Claude Desktop config example.
Connect Claude Code with E2B cloud sandboxes — 29 tools for creating isolated Linux VMs, cloning repos, running commands, managing files, and performing git operations without touching the local machine.
OpenAPI-MCP: Dockerized MCP Server to allow your AI agent to access any API with existing api docs.
Containerized environments for coding agents. Multiple agents can work independently, isolated in fresh containers and git branches. No conflicts, many experiments. Full execution history, terminal access to agent environments, git workflow. Any agent/model/infra stack.
Give your AI assistant its own AI assistants. For example: "Could you ask openai to generate an image of a dog?"