返回 MCP 目录
public公开dns本地运行

Prolog

一个提供Prolog执行、查询和谓词搜索工具的MCP服务

article

README

🚀 Prolog MCP

Prolog MCP是一个强大的工具,它提供了执行Prolog、查询Prolog以及搜索现有谓词的功能,为Prolog的使用提供了便利。

🚀 快速开始

Prolog MCP可帮助你轻松执行Prolog相关操作,如执行代码、查询数据、搜索谓词等。

📦 安装指南

通过Smithery安装

要自动为Claude Desktop安装prolog_mcp,请使用Smithery,执行以下命令:

npx -y @smithery/cli install @snoglobe/prolog_mcp --client claude

手动安装

将构建的可执行文件完整路径添加到MCP配置中,不带任何参数。

help

运行方式说明

cloud

托管运行

托管运行通常表示这个 MCP Server 由服务方环境承载,用户一般按页面提供的连接方式或授权流程接入,不需要在本地长期启动一个 MCP 进程

  1. 打开服务方连接页
  2. 完成授权或复制端点
  3. 在 MCP 客户端中连接
terminal

本地运行 / 其它方式

本地运行通常需要用户在自己的电脑或服务器上安装依赖,把 server_config 复制到 MCP 客户端,并按 env_schema 补齐环境变量、密钥或其它配置

  1. 复制 server_config
  2. 安装所需依赖
  3. 补齐环境变量后重启客户端