io.github.rikarazome/prolog-reasoner is an MCP server that SWI-Prolog as a logic calculator for LLMs. Its tool list has not been published yet over stdio and sse, requires no API key, and scores 80/100 on MCPpedia's security, maintenance and efficiency rubric.
Step 1
Install in your client
Config is the same across clients — only the file and path differ.
CD
Supported in Claude Desktopstdio, sse · Node 18+
Paste into ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"prolog-reasoner": {
"args": [
"prolog-reasoner"
],
"command": "uvx"
}
}
}Are you the author?
Add this badge to your README to show your security score and help users find safe servers.
Embed in your READMEAbout badges →
[](https://mcppedia.org/s/io-github-rikarazome-prolog-reasoner)
Read me
What io.github.rikarazome/prolog-reasoner does
SWI-Prolog as a "logic calculator" for LLMs — available as an MCP server and a Python library. Eliminate the black box from LLM logical reasoning.
Test This Server
Run this in your terminal to verify the server starts. Then let us know if it worked — your result helps other developers.
uvx 'prolog-reasoner' 2>&1 | head -1 && echo "✓ Server started successfully"
After testing, let us know if it worked:
Scored, not listed
Why this score
Five weighted categories — click any category to see the underlying evidence.
Score breakdown
80/100across 5 weighted dimensions
0255075100
30
20
15
10
−20
Security
Maintenance
Efficiency
Documentation
Compatibility
Categoriesclick a row to see evidence
Security
OSV.devNo known CVEs.
Checked prolog-reasoner against OSV.dev.
Inventory
Tools (5)
Click any tool to inspect its schema.
~465 tokens total
Community
Reviews
Be the first to review
Have you used this server?
Share your experience — it helps other developers decide.
How easy was setup?Did it work reliably?How was the documentation?
Sign in to write a review.
Frequently Asked Questions
- Is io.github.rikarazome/prolog-reasoner safe to use?
- io.github.rikarazome/prolog-reasoner has no known CVEs as of the latest MCPpedia security scan. It does not require authentication, so any local process can connect — keep this in mind in shared environments. Licensed under MIT.
- How do I install io.github.rikarazome/prolog-reasoner?
- io.github.rikarazome/prolog-reasoner supports copy-paste install configs on its MCPpedia page for Claude Desktop, Cursor, and Claude Code. Scroll to the Quick Install section and select your client.
- What can io.github.rikarazome/prolog-reasoner do?
- io.github.rikarazome/prolog-reasoner provides 5 tools: execute_prolog, save_rule_base, list_rule_bases, get_rule_base, delete_rule_base. See the full tools list on the server page for descriptions and parameters.
- What AI clients work with io.github.rikarazome/prolog-reasoner?
- io.github.rikarazome/prolog-reasoner is compatible with claude-desktop, cursor, claude-code. It uses stdio and sse transport.
- Is io.github.rikarazome/prolog-reasoner actively maintained?
- io.github.rikarazome/prolog-reasoner is less actively maintained — last commit was 117 days ago. It has 11 GitHub stars.
Related
Similar servers
Others in ai-ml / developer-tools
Context797Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors
61.2k 2
Dsh MCP Client97MCP client bridge: connects to MCP servers and registers their tools on ctx.tools
199.9k 4
Gpt Researcher97An autonomous agent that conducts deep research on any data using any LLM providers
29.2k 5
Modelcontextprotocol96The official MCP server implementation for the Perplexity API Platform
2.5k 4
MCP Security Weekly
Get CVE alerts and security updates for io.github.rikarazome/prolog-reasoner and similar servers.
Community
Discussion
Start a conversation
Ask a question, share a tip, or report an issue.
Has anyone used this with Cursor?How do you handle auth?Any alternatives?
Sign in to join the discussion.