shield_lock
JinDaGe
← Back to MCP directory
publicPublicdnsLocal runtime

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

Runtime guide

cloud

Hosted runtime

Hosted servers run from a provider-managed environment. You usually connect the MCP client to the hosted endpoint or follow the provider's authorization flow, without keeping a local process alive

  1. Open provider connection page
  2. Authorize or copy endpoint
  3. Connect from your MCP client
terminal

Local runtime / other methods

Local servers run on your own machine or infrastructure. You normally copy the server_config into your MCP client, install the required package, and provide env variables from env_schema when needed

  1. Copy server_config
  2. Install required package
  3. Fill env variables and restart client