GitHub 集成

GitHub MCP 服务器提供从 Pull Request 中提取差异的功能。

可用工具

get_diff_pr

从 GitHub Pull Request 中检索差异内容。

参数:

• owner: 仓库所有者/组织名称
• repo: 仓库名称
• pr_number: Pull Request 编号

返回值: 包含以下内容的对象：

• content: 包含 PR 差异的字符串

身份验证

必需: 将 GitHub 个人访问令牌设置为环境变量：

export GITHUB_TOKEN=<your-github-token>

该令牌至少需要 repo 范围的权限才能访问私有仓库。 对于公共仓库，具有 public_repo 范围的令牌就足够了。

错误处理

服务器实现了标准错误处理：

• 缺少/无效的令牌返回 ErrorCode.AuthenticationError
• 无效的仓库详细信息返回 ErrorCode.InvalidParams
• 不存在的 PR 返回 ErrorCode.NotFound
• 差异获取失败返回格式化的错误消息
• 在 SIGINT 上优雅关闭

技术细节

• 使用 Highlight AI MCP SDK 构建
• 使用 GitHub REST API v3
• 通过 Zod 进行输入验证
• 作为基于 stdio 的 MCP 服务器运行
• 支持 Node.js >=18.0.0

局限性

• 速率限制基于 GitHub API 限制
• 根据 GitHub API 限制，大型差异可能会被截断
• 令牌需要适当的仓库访问权限