在 Antigravity 中安装 GitHub MCP Server远程连接与本地 Docker 两种方案详解【免费下载链接】klavisKlavis AI: MCP integration platforms that let AI agents use tools reliably at any scale项目地址: https://gitcode.com/GitHub_Trending/kl/klavis本指南基于 Klavis 仓库中 Antigravity 安装文档 展开讲解如何把 GitHub MCP Server 接入 Google Antigravity IDE从配置文件的定位方式、serverUrl这一 Antigravity 特有键名、PAT 权限范围选择到远程托管服务与本地 Docker 容器两种部署路线以及常见的三类故障排查路径。读完本文你可以独立在 Antigravity 中完成 GitHub MCP 工具链的接入并在出现serverUrl报错、服务不显示、工具不可用等问题时快速定位原因。前置条件在安装开始前需要准备两项内容已安装最新版本的 Antigravity IDE一个具备相应权限范围scopes的 GitHub Personal Access TokenPAT。关于 PAT仓库主文档 README 给出了安全实践建议遵循最小权限原则为不同项目/环境使用不同令牌定期轮换且绝不将令牌提交到版本控制。安装指南索引 installation-guides/README 也强调无论选择哪种安装方式都应限制令牌权限范围并限制含令牌配置文件的可访问性。方案一远程托管服务推荐推荐使用 GitHub 托管的远程服务地址https://api.githubcopilot.com/mcp/。原文档明确提示之所以推荐手动配置是因为目前通过 Antigravity MCP Store 的官方安装通道存在已知问题经常出现 Docker 相关错误直接建立远程连接的方式更可靠。这一点可以从仓库中的 server.json 得到印证该文件声明了同一服务名io.github.github/github-mcp-server下的两种接入形态——OCI 包ghcr.io/github/github-mcp-serverstdio 传输必须注入GITHUB_PERSONAL_ACCESS_TOKEN环境变量以及streamable-http类型的远程端点https://api.githubcopilot.com/mcp/通过Authorization请求头携带 PAT 或 App token。gemini-extension.json 同样以https://api.githubcopilot.com/mcp/作为httpUrl并配合Bearer $GITHUB_MCP_PAT请求头说明这一远程接入点在 Google 系客户端中是标准用法。第一步打开 MCP 配置入口按以下顺序操作打开 Antigravity在 Agent 面板点击 ...Additional Options菜单选择 MCP Servers点击 Manage MCP Servers点击 View raw config。这一步会打开mcp_config.json配置文件其位置因平台而异WindowsC:\Users\USERNAME\.gemini\antigravity\mcp_config.jsonmacOS/Linux~/.gemini/antigravity/mcp_config.json第二步写入远程服务配置在mcp_config.json中加入如下内容{ mcpServers: { github: { serverUrl: https://api.githubcopilot.com/mcp/, headers: { Authorization: Bearer YOUR_GITHUB_PAT } } } }关键点Antigravity 对基于 HTTP 的 MCP 服务使用的键名是serverUrl而不是其他宿主应用中常见的url。这一差异是该文档 Troubleshooting 部分第一个问题的根源——配置写错键名会直接触发Error: serverUrl or command must be specified错误。第三步配置 Token将YOUR_GITHUB_PAT替换为你实际的 GitHub Personal Access Token。原文档推荐的权限范围为repo—— 私有仓库的完整控制权read:org—— 读取组织与团队成员信息read:user—— 读取用户个人资料数据。结合 README 中的工具清单可以看到repo范围覆盖了 Actions、Issues、Discussions 等大部分工具组而组织类工具如get_team_members、search_orgs需要read:org这与上述推荐范围的设计是一致的。第四步重启 Antigravity完全关闭并重新打开 Antigravity使配置变更生效。第五步验证安装打开 MCP Servers 面板... 菜单 → MCP Servers应能看到github条目及其工具列表此后即可在对话中直接使用 GitHub 工具。原文档还特别提醒在部分版本中MCP Servers 面板的状态指示灯可能不会立刻变绿但只要配置正确工具依然可以正常工作——不要仅凭状态灯判断安装失败。方案二本地 Docker 服务如果偏好在本机以容器方式运行服务可在mcp_config.json中使用 stdio 方式拉起官方镜像{ mcpServers: { github: { command: docker, args: [ run, -i, --rm, -e, GITHUB_PERSONAL_ACCESS_TOKEN, ghcr.io/github/github-mcp-server ], env: { GITHUB_PERSONAL_ACCESS_TOKEN: YOUR_GITHUB_PAT } } } }参数说明-i保持标准输入打开stdio 传输所必需--rm在容器退出后自动清理-e声明从宿主环境读取GITHUB_PERSONAL_ACCESS_TOKEN令牌则通过env字段注入容器。运行前提已安装并运行 Docker Desktopdocker命令在系统 PATH 中可用否则 Antigravity 无法找到可执行程序。这个镜像名与仓库根目录的 server.json 中声明的 OCI 包标识ghcr.io/github/github-mcp-server完全一致且该文件同样将-e GITHUB_PERSONAL_ACCESS_TOKEN标注为必填的 secret 参数。镜像为公开镜像如果拉取时遇到鉴权报错README 提示可能是本地有过期凭证执行docker logout ghcr.io即可。故障排查原文档列出了三类典型问题这里完整保留并补充定位思路Error: serverUrl or command must be specified确认远程服务配置中使用的是serverUrl而非url。Antigravity 要求基于 HTTP 的 MCP 服务必须使用serverUrl键。这是与其他 MCP 宿主最大的语法差异也是跨 IDE 迁移配置时最常踩的坑。服务未出现在 MCP 列表中检查mcp_config.json的 JSON 语法是否合法括号、逗号、引号确认 PAT 没有过期完全重启 Antigravity。工具不工作确认 PAT 具备正确的权限范围在 MCP Servers 面板查看具体的错误信息远程服务方案需确保持有稳定的互联网连接。另外从 服务器配置指南 的故障排查表可以延伸出两条通用经验如果启用了只读模式X-MCP-Readonly头写入类工具会被强制禁用如果通过X-MCP-Tools指定了拼写错误的工具名远程服务端会直接拒绝启动。安装后可用的工具配置成功后可以使用的工具包括文档示例列表create_repository—— 创建新的 GitHub 仓库push_files—— 向仓库推送文件search_repositories—— 搜索仓库create_or_update_file—— 管理文件内容get_file_contents—— 读取文件内容以及更多工具。这些工具名在仓库源码中都有对应实现create_or_update_file与push_files定义在 repositories.gosearch_repositories定义在 search.go并且pkg/github/__toolsnaps__/目录下存在push_files.snap、search_repositories.snap、create_or_update_file.snap等快照文件可用于回归验证工具签名。完整工具清单及每个工具的 OAuth 范围要求见 主 README 的 Tools 章节。与其他 IDE 配置的关键差异原文档总结了三点这是跨 IDE 维护多份配置时最需要记住的差异点Antigravity其他 IDE如 Cursor远程服务配置键serverUrlurl配置文件位置.gemini/antigravity/mcp_config.json.cursor/mcp.json等工具数量建议建议总启用工具数保持在 50 个以内以获得最佳性能视宿主而定工具数量的限制提示也呼应了 README 中 Tool Configuration 一节的设计动机只启用需要的 toolsets 有助于 LLM 做工具选择并压缩上下文体积。进阶缩小工具集与启用只读模式如果希望接入后的 GitHub 工具面更精简、更安全可以在headers中追加远程服务支持的可选头详见 远程服务文档例如{ mcpServers: { github: { serverUrl: https://api.githubcopilot.com/mcp/, headers: { Authorization: Bearer YOUR_GITHUB_PAT, X-MCP-Toolsets: repos,issues, X-MCP-Readonly: true } } } }其中X-MCP-Toolsets逗号分隔的工具组白名单如repos,issues与本地服务的--toolsets参数 /GITHUB_TOOLSETS环境变量等价未知工具组名会被静默忽略X-MCP-Tools逗号分隔的单个工具白名单指定了无效工具名会导致服务拒绝启动X-MCP-Readonly只启用只读工具作为严格安全过滤器优先于其他配置也可以在 URL 路径上直接编码这些语义例如https://api.githubcopilot.com/mcp/x/issues/readonly表示仅启用issues工具组且为只读模式。远程服务还支持仅托管端可用的工具组如copilot、copilot_spaces、github_support_docs_search这是本地 Docker 方案不具备的能力选择方案时可以纳入考量。未指定工具组时服务使用默认工具组context、repos、issues、pull_requests、users。后续学习路径服务器配置指南工具组、只读模式、Lockdown 模式等高级选项的完整对照表远程服务文档全部远程工具组 URL、可选请求头与 Insiders 模式安装指南索引同一 MCP Server 在 Copilot CLI、Claude、Cursor、Windsurf 等其他宿主上的支持矩阵与安装方法可对照查看各宿主的配置差异主 README完整工具清单、OAuth 范围要求与 Docker/源码构建方式。【免费下载链接】klavisKlavis AI: MCP integration platforms that let AI agents use tools reliably at any scale项目地址: https://gitcode.com/GitHub_Trending/kl/klavis创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考