MCP Server
@smithery/cli
一个提供Prolog执行、查询和谓词搜索功能的MCP工具。
工具数
提示词数
GitHub Stars
资源数
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
命令预览
npx -y @smithery/cli install @snoglobe/prolog_mcp --client claude
](https://smithery.ai/server/@snoglobe/prolog_mcp)
一个MCP，提供执行Prolog、查询Prolog和搜索现有谓词的工具。
通过以下方式自动安装克劳德桌面版prolog_mcp 史密瑟里:
npx -y @smithery/cli install @snoglobe/prolog_mcp --client claude嗯，将其构建为可执行文件，并将可执行文件的完整路径添加到您的MCP配置中，不带参数
目录标签
支持客户端
传输方式（transport，传输协议）
stdio
鉴权方式（authType，认证方式）
none
运行时（runtime，运行环境）
Node.js
来源包（packageName，安装包名）
@smithery/cli
工具数量（toolCount，工具数）
3
资源数量（resourceCount，资源数）
0
提示词数量（promptCount，提示词数）
0
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。