项目简介
LODA MCP 服务器是基于 Model Context Protocol (MCP) 构建的后端服务,旨在为大型语言模型 (LLM) 提供与 LODA 语言和在线整数序列百科 (OEIS) 交互的能力。它将 LODA API 的功能封装成一套 LLM 可调用的工具,让 LLM 能够分析、搜索、评估甚至提交 LODA 程序,以及查询整数序列详情。
主要功能点
- LODA 程序管理: 获取、搜索、评估和提交 LODA 程序。LLM 可以通过调用工具来理解程序的实现,验证其正确性,或贡献新的程序。
- 整数序列查询: 获取和搜索来自 OEIS 的整数序列的详细信息,包括其项、关键字和参考资料。
- 项目统计: 查看 LODA 项目的概况统计信息,如序列、程序和公式的数量。
- 关键字与提交者: 列出所有可用关键字及其描述,以及程序的提交者列表。
安装步骤
- 确保您的系统已安装 Node.js (18.0.0 或更高版本) 和 npm (8.0.0 或更高版本)。
- 克隆本仓库到您的本地机器。
- 打开终端,导航到仓库目录。
- 安装项目依赖:
npm install - 构建服务器代码:
npm run build - 您可以运行以下命令测试连接并启动服务器:
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与计算