Prolog Reasoner
MCP Server
SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.
工具数
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
目录标签
目录标签
接入字段
传输方式（transport，传输协议）
未说明
鉴权方式（authType，认证方式）
api-key
权限和风险
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
仍需确认：category / installCommand
来源信息
继续浏览同类 MCP
上一个 MCP
Project Tracker MCP Server
A TypeScript-based REST API that integrates project and task management with MCP (Model Context Protocol), allowing users to manage projects and tasks through natural language interactions.
下一个 MCP
Prompt Enhancer
Transform basic instructions into high-quality prompts with optimized structure and clear constraints. Evaluate existing prompts for clarity and specificity while receiving actionable improvement sug…