io.github.rikarazome/prolog-reasoner
Prolog Reasoner
Is the Prolog Reasoner MCP server down? No. It answered initialize and tools/list in the probe of 2026-11-14.
SWI-Prolog as a logic calculator for LLMs
alive probed 2026-11-14
5tools
1.0ktokens in Claude Opus 5.5
0.5 %of Claude's 200k window
0.4×the median server
8.7 sto initialize
717 msto list tools
- Run it
- uvx prolog-reasoner@0.2.1 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Reports itself as
- prolog-reasoner 4.2.0
- Capabilities
- logging, prompts, resources, tools
- Instructions
- none
- Of a 1M window
- 0.1 % of a 1M context window
- Count
- 1.0k tokens in Claude Opus 5.5, exact, measured 2026-10-17. With the Claude Code prefix mcp__…__ on each tool name: 1.1k. The o200k_base estimate is 576. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/rikarazome/prolog-reasoner
- Registry
- active, updated 2026-04-17 · registry entry
Most expensive tools
The Claude column scales the o200k estimate of each tool by this server's ratio of exact to estimate, 1.79×.
| Tool | ≈ Claude tokens | o200k estimate | Share of this server |
|---|---|---|---|
| execute_prolog | 487 | 272 | 47 % |
| save_rule_base | 199 | 111 | 19 % |
| list_rule_bases | 186 | 104 | 18 % |
| get_rule_base | 82 | 46 | 8 % |
| delete_rule_base | 77 | 43 | 7 % |
Compare this server with others.
More servers
Other registry entries on pypi.org, the ones next to this name; all of them.
- io.github.ridhwaan-ai/pressready · alive
- io.github.rijul170/alertlogic-mcp · crashed on start
- io.github.rijul170/falcon-mcp · crashed on start
- io.github.rijul170/qualys-mcp · needs mcp<2
- io.github.riponcm/projectmem · crashed on start
- Recite MCP io.github.rivradev/recite-mcp · needs env
- io.github.rjexile/sports-card-agent · needs mcp<2
- io.github.rjn32s/mcp-yolo · install failed
Servers that mention reasoner or prolog.
- io.github.pcmedsinge/mcp-clinical-reasoner · crashed on start
- Prologue AI ai.prologue/mcp · needs auth
- Arg2P io.github.tuProlog/arg2p · alive
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- The server answers initialize and tools/list. Nothing to fix.