prolog-reasoner
MCP 服务器Claude Code 工具与能力 低风险
SWI-Prolog作为LLM的逻辑计算器 — MCP服务器和Python库
SWI-Prolog as a logic calculator for LLMs — MCP server and Python library
怎么安装
Claude Code
git clone https://github.com/rikarazome/prolog-reasoner ~/.claude/skills/prolog-reasoner 简介
prolog-reasoner 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. LLMs excel at natural language but struggle with formal logic. Prolog excels at logical reasoning but can't process natural language. **prolog-reasoner** bridges this gap by exposing SWI-Prolog execution to LLMs. Does it help? On the built-in 30-problem logic benchmark: | Pipeline | Accuracy | |----------|----------| | LLM-only (claude-sonnet-4-6) | 22/30 (73.3%) | | **LLM + prolog-reasoner** | **27/30 (90.0%)** | The gap concentrate…
推荐参考
36 工具本身 · 参考星标、下载量、最近更新、安全检查和文档情况
– 用户关注 · 参考最近的查看、安装命令复制和外链访问
36 推荐程度
0访问
0独立访客
0复制安装命令
0下载点击
0外链跳转
信息
- 协议
- MIT
- 语言
- Python
- GitHub 星标
- 11
- 月下载
- –
- 最近更新
- 2026-05-01
- 创建于
- 2026-04-14
基础安全检查
- 检查结果
- curated 收录但无 npm 包/安装命令
- 收录来源
- curated:punkpeye/awesome-mcp-servers
- 主题标签
- anthropic, claude, llm, logic-programming, mcp, mcp-server, prolog, python, reasoning, swi-prolog