mcpbeat

Prolog Reasoner MCP Server

io.github.rikarazome/prolog-reasoner
local only

Prolog Reasoner runs on your own machine — the client starts it, so there is no endpoint to ping. 45 installs a week from pypi. Last commit 1 May 2026.

SWI-Prolog as a logic calculator for LLMs

Installs per day peak 37 · avg 12 · -45% w/w
a month agotoday
45
Installs / week
pypi · prolog-reasoner
11
Stars
1 open issues
1 May 2026
Last commit
0 releases in 90 days
MIT
License
Python

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

run in your terminal
claude mcp add prolog-reasoner -- uvx prolog-reasoner
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "prolog-reasoner": {
      "args": [
        "prolog-reasoner"
      ],
      "command": "uvx"
    }
  }
}
~/.codex/config.toml
[mcp_servers.prolog-reasoner]
command = "uvx"
args = ["prolog-reasoner"]
.cursor/mcp.json
{
  "mcpServers": {
    "prolog-reasoner": {
      "args": [
        "prolog-reasoner"
      ],
      "command": "uvx"
    }
  }
}
.vscode/mcp.json
{
  "mcpServers": {
    "prolog-reasoner": {
      "args": [
        "prolog-reasoner"
      ],
      "command": "uvx"
    }
  }
}

Prolog Reasoner — questions

Answers built from our own checks of this server.

Why is there no uptime for Prolog Reasoner?
Prolog Reasoner runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the pypi package prolog-reasoner was installed 45 times last week.
How do I connect Prolog Reasoner?
Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It runs locally, so the command pulls prolog-reasoner straight from pypi; nothing to host, nothing to sign up for.
How many people use Prolog Reasoner?
The pypi package prolog-reasoner was installed 45 times in the last week. Week over week that is -45%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.
Is Prolog Reasoner open source?
Yes — it is published under the MIT licence, written in Python, 11 stars on GitHub and 1 open issue. The source link is on this page, so you can read exactly what it does with your data before you connect it.