prolog-reasoner
MCP ServerClaude Code Low risk
SWI-Prolog as a logic calculator for LLMs — MCP server and Python library
How to install
Claude Code
git clone https://github.com/rikarazome/prolog-reasoner ~/.claude/skills/prolog-reasoner Recommendation signals
36 Tool quality · Based on stars, downloads, maintenance, security and docs
– User interest · Adjusted by in-site views, install copies and download clicks
36 Overall
0views
0install copies
0download clicks
0outbound clicks
Meta
- License
- MIT
- Language
- Python
- GitHub stars
- 11
- mo. downloads
- –
- Last push
- 2026-05-01
- Created
- 2026-04-14
Links
Basic safety check
- Findings
- curated 收录但无 npm 包/安装命令
- Sources
- curated:punkpeye/awesome-mcp-servers
- Topics
- anthropic, claude, llm, logic-programming, mcp, mcp-server, prolog, python, reasoning, swi-prolog
Related plugins
Claude Code Featured
Score93
superpowers
obra/superpowers
An agentic skills framework & software development methodology that works.
MCP Server Featured
Score93
fastmcp
punkpeye/fastmcp
A TypeScript framework for building MCP servers.
MCP Server Featured
Score92
DesktopCommanderMCP
wonderwhy-er/DesktopCommanderMCP
This is MCP server for Claude that gives it terminal control, file system search and diff file editing capabilities
Claude Code Featured
Score88
get-shit-done
gsd-build/get-shit-done
A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.