rikarazome/prolog-reasoner MCP Server
SWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy
返回 MCP 专区
开发工具
rikarazome/prolog-reasoner
0 starsSWI-Prolog execution for LLMs with CLP(FD), negation-as-failure, and recursion. Benchmarked 90% vs 73% LLM-only accuracy
典型使用场景
- AI 直接创建 PR、查看 Issues、提交代码
- 自动化 CI/CD 流程，监控构建状态
- 智能 Code Review，自动标注问题
查看源码 / 官方文档
访问 GitHub 仓库获取最新文档、配置说明和 issue 反馈。
在 GitHub 上查看相关 MCP Server
alfonsograziano/node-code-sandbox-mcpA Node.js MCP server that spins up isolated Docker-based sandboxes for executing JavaScript snippets with on-the-fly npmalvii147/piston-mcpMCP server that lets LLMs execute code through the Piston remote code execution engine, with a zero-config `uv` setup anasif-nvc/e2b-sandbox-mcpConnect Claude Code with E2B cloud sandboxes 29 tools for creating isolated Linux VMs, cloning repos, running commands,ckanthony/openapi-mcpOpenAPI-MCP: Dockerized MCP Server to allow your AI agent to access any API with existing api docs.dagger/container-useContainerized environments for coding agents. Multiple agents can work independently, isolated in fresh containers and ggwbischof/outsource-mcpGive your AI assistant its own AI assistants. For example: "Could you ask openai to generate an image of a dog?"