rikarazome/prolog-reasoner MCP Server
面向LLM的SWI-Prolog执行，支持CLP(FD)、否定即失败和递归。基准测试准确率90%，而纯LLM为73%
返回 MCP 专区
开发工具
rikarazome/prolog-reasoner
0 stars面向LLM的SWI-Prolog执行，支持CLP(FD)、否定即失败和递归。基准测试准确率90%，而纯LLM为73%
什么是 Prolog Reasoner MCP Server？
Prolog Reasoner 是一个开发者工具类 MCP Server，把开发流程中的操作（查文档、跑脚本、查日志、调 API 等）暴露给 AI 助手调用，让 Claude、Cursor 直接参与开发工作流。
典型使用场景
- AI 直接创建 PR、查看 Issues、提交代码
- 自动化 CI/CD 流程，监控构建状态
- 智能 Code Review，自动标注问题
查看源码 / 官方文档
访问 GitHub 仓库获取最新文档、配置说明和 issue 反馈。
在 GitHub 上查看相关 MCP Server
alfonsograziano/node-code-sandbox-mcp一个Node.js MCP服务器，可启动基于Docker的隔离沙箱，用于即时执行JavaScript代码片段并动态安装npm包。alvii147/piston-mcpMCP服务器，让LLM通过Piston远程代码执行引擎运行代码，采用零配置的`uv`设置。ckanthony/openapi-mcpOpenAPI-MCP：一个容器化的MCP服务器，让你的AI代理能够通过现有API文档访问任何API。dagger/container-use为编码代理提供容器化环境。多个代理可以独立工作，彼此隔离在全新的容器中。hileamlakB/PRIMS一个Python运行时解释器MCP服务器，用于在隔离环境中执行用户提交的代码。pydantic/pydantic-ai/mcp-run-python通过MCP工具调用在安全沙箱中运行Python代码