Default github mcp server toolset not included by default
未关闭
还没有人认领这个 Issue。
triage
- 主要语言
- Shell
- 星标
- 11.2k
- 派生
- 1.9k
- 平均合并
- 14 小时 16 分钟
- 30 天内合并 PR
- 6
描述
Describe the bug
The github mcp server has a default toolset called 'default', however, it does not seem to be enabled by default.
Affected version
GitHub Copilot CLI 1.0.79
Steps to reproduce the behavior
Open copilot cli
use /mcp show on the built-in github mcp server
See it is missing permissions
Expected behavior
I expect the above list to be same as the list when using the default mcp server toolset
Additional context
No response
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
调研方向
从内置的 GitHub MCP server 开始,运行 /mcp show,将其工具列表与默认 MCP server 工具集进行比较。跟踪内置 server 的默认工具集在哪里被选择;当无需额外配置时,GitHub MCP 的 /mcp show 中显示预期的默认权限,即表示完成。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- github, shell
- 领域
- cli, tooling
- Issue 类型
- 缺陷
- 难度
- 3/5
- 预计耗时
- 1-2 天
- 活跃度
- 冷清
- 描述清晰度
- 基本清楚
- 新手友好度
- 55/100