What is prolog-reasoner?
prolog-reasoner is a MCP server by rikarazome that sWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion. It is listed under Developer tools and has 12 GitHub stars.
| Type | Mcp server |
|---|---|
| Author | rikarazome |
| Repository | rikarazome/prolog-reasoner |
| Popularity | 12 GitHub stars |
| Category | Developer tools |
| Security | Review before installing (72/100) |
| Rank | #1,586 of 4,418 MCP servers; #360 in Developer tools |
| License | MIT |
| Last commit | 2026-05-01 |
| Runs | Locally |
| Language | Python |
| Platforms | macOS, Windows, Linux |
Is prolog-reasoner safe to install?
prolog-reasoner scores 72/100 on the MCPMods security check: Review before installing. Things to review: can take actions such as send, write or deploy; executes code or shell commands. It passed 3 of 6 checks.
MCP server results come from listing signals: who publishes it, where your data goes and what it can do. The code itself is not scanned yet.
| Check | Result |
|---|---|
| Community-built server | Note |
| Runs on your machine only | Pass |
| No credentials mentioned | Pass |
| Can take actions such as send, write or deploy | Review |
| Executes code or shell commands | Review |
| Source on GitHub | Pass |
How do I install prolog-reasoner?
- Find the launch command. The README says how the server starts (npx, uvx, docker or a remote URL) and which API keys it needs.
https://github.com/rikarazome/prolog-reasoner
- Add it to Claude Code. Replace the part after -- with the command from the README. Remote servers use --transport http with a URL.
claude mcp add prolog-reasoner -- <command from README> claude mcp add --transport http prolog-reasoner <server-url>
- Check it connected. This lists your MCP servers and their status.
claude mcp list
Or ask Claude to set it up
Paste this into Claude Code and it installs prolog-reasoner for you:
Add the "prolog-reasoner" MCP server from https://github.com/rikarazome/prolog-reasoner to Claude Code. Read its README for the launch command and any API keys I need, run claude mcp add, then check that it connects.