项目简介

LODA MCP 服务器是基于 Model Context Protocol (MCP) 构建的后端服务,旨在为大型语言模型 (LLM) 提供与 LODA 语言和在线整数序列百科 (OEIS) 交互的能力。它将 LODA API 的功能封装成一套 LLM 可调用的工具,让 LLM 能够分析、搜索、评估甚至提交 LODA 程序,以及查询整数序列详情。

主要功能点

  • LODA 程序管理: 获取、搜索、评估和提交 LODA 程序。LLM 可以通过调用工具来理解程序的实现,验证其正确性,或贡献新的程序。
  • 整数序列查询: 获取和搜索来自 OEIS 的整数序列的详细信息,包括其项、关键字和参考资料。
  • 项目统计: 查看 LODA 项目的概况统计信息,如序列、程序和公式的数量。
  • 关键字与提交者: 列出所有可用关键字及其描述,以及程序的提交者列表。

安装步骤

  1. 确保您的系统已安装 Node.js (18.0.0 或更高版本) 和 npm (8.0.0 或更高版本)。
  2. 克隆本仓库到您的本地机器。
  3. 打开终端,导航到仓库目录。
  4. 安装项目依赖:
    npm install
  5. 构建服务器代码:
    npm run build
  6. 您可以运行以下命令测试连接并启动服务器:
    npm run test-connection  # 测试 LODA API 连接
    npm start                # 默认以标准输入输出 (Stdio) 模式启动服务器

服务器配置

MCP 服务器通常需要集成到支持 MCP 协议的 LLM 客户端中(例如 Claude Desktop)。以下是配置示例:

对于 macOS: '~/Library/Application Support/Claude/claude_desktop_config.json'
对于 Windows: '%APPDATA%\Claude\claude_desktop_config.json'

请在您的 LLM 客户端配置文件中添加类似以下内容的 JSON 配置:

{
  "mcpServers": {
    "loda-api": {
      "command": "node",
      "args": ["/absolute/path/to/your/loda-mcp/build/index.js", "-p", "8080"],
      "env": {
        "LODA_API_BASE_URL": "https://api.loda-lang.org/v2"
      }
    }
  }
}

配置说明:

  • 'loda-api': 这是您为该 MCP 服务器实例定义的名称。
  • 'command': 启动服务器所使用的命令。对于 Node.js 项目通常是 'node'。
  • 'args': 启动服务器的命令行参数列表。
    • '/absolute/path/to/your/loda-mcp/build/index.js': 这是服务器主文件的绝对路径,请务必替换为您的实际路径。
    • '-p 8080': 这指示服务器以 HTTP 模式在 8080 端口启动。如果此参数不存在,服务器将默认以标准输入输出 (Stdio) 模式启动。
  • 'env': 可选的环境变量配置。
    • 'LODA_API_BASE_URL': LODA API 的基础 URL。如果未指定,将使用默认值 'https://api.loda-lang.org/v2'。

基本使用方法

一旦服务器配置并启动,您的 LLM 客户端将能够通过 JSON-RPC 调用 LODA MCP 服务器提供的工具。例如,LLM 可以:

  • 调用 'get_sequence' 工具查询特定整数序列(如 'A000045')的详细信息。
  • 调用 'search_programs' 工具搜索与特定关键字相关的 LODA 程序。
  • 调用 'eval_program' 工具,提供 LODA 程序代码,让服务器执行并返回序列结果。 LLM 会根据其内部逻辑和用户提示,选择并调用合适的工具来完成任务。

信息

分类

AI与计算