Prolog Reasoner MCP Server
by rikarazomeio.github.rikarazome/prolog-reasonerv0.2.1
SWI-Prolog execution for LLMs with CLP(FD), negation as failure and recursion.
context tax
queued
security
queued
cold start
queued
freshness
Slowing5mo ago
Install Prolog Reasoner MCP server
Install in Claude Code
claude mcp add prolog-reasoner -- uvx prolog-reasonerInstall in Cursor
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"prolog-reasoner": {
"type": "stdio",
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Freshness
Slowing — last maintenance signal 5mo ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-05-01 · 5mo ago · GitHub
Latest release
2026-04-16 · 6mo ago · GitHub · v0.2.0
Package published
no data · npm/PyPI
Registry entry updated
2026-04-17 · 6mo ago · official registry · v0.2.1
FAQ
›How do I install the Prolog Reasoner MCP server in Claude Code?
Run: claude mcp add prolog-reasoner -- uvx prolog-reasoner. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Prolog Reasoner require an API key?
No required environment variables are declared in its published metadata.
›Can I use Prolog Reasoner as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Prolog Reasoner in the official MCP registry?
Yes, as io.github.rikarazome/prolog-reasoner.
Alternatives to Prolog Reasoner
Other code execution & sandboxes MCP servers.
REAActiveReverse engineer anything from your terminal or agent with one CLI and MCP server.
Ask JevActiveA private persistent computer: files and a bash shell that survive between runs.
Container UseMaintainedContainerized environments for coding agents: each agent works in its own fresh container and git branch, with execution history and terminal access.
MATLABActiveConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP.
LLM SandboxActiveSecurely run LLM-generated code in isolated containers across 7 languages and 3 container backends.
QgisAbandonedconnects QGIS Desktop to Claude AI through the MCP. This integration enables prompt-assisted project creation, layer loading, code execution, and more.