MCP server collision detection is case-sensitive across configuration scopes
Chưa có ai nhận issue này.
- Ngôn ngữ chính
- Shell
- Star
- 11.2k
- Fork
- 1.9k
- Merge trung bình
- 14 giờ 16 phút
- Pull request đã merge (30 ngày)
- 6
Mô tả
Describe the bug
Copilot CLI can discover MCP servers from multiple scopes, including user configuration and installed plugins. Server-name collision detection is case-sensitive, so logically identical names such as MCPBrowser and mcpbrowser are treated as separate servers and both processes are launched.
This causes redundant startup work, duplicate tool registrations, additional startup delays, and confusing output where one declaration may fail or time out while the other connects successfully.
Affected version
GitHub Copilot CLI 1.0.79 on Windows x64.
Steps to reproduce the behavior
- Add a user-scoped MCP server named
MCPBrowserto~/.copilot/mcp-config.json:
{
"mcpServers": {
"MCPBrowser": {
"type": "local",
"command": "npx",
"args": ["-y", "mcpbrowser@latest"],
"tools": ["*"]
}
}
}
- Install a Copilot plugin that contributes the same MCP server using the name
mcpbrowser. - Run
copilot plugins list --kind mcp --json. - Observe both entries: user-scoped
MCPBrowserand plugin-scopedmcpbrowser. - Start Copilot CLI and observe that both MCP processes are started independently.
Expected behavior
Copilot CLI should detect MCP name collisions case-insensitively across all discovery scopes and should not launch duplicate logical servers.
Suggested behavior:
- Canonicalize MCP names for collision detection, for example with Unicode case folding.
- Apply a documented precedence rule across user, repository, organization, and plugin scopes.
- Start only the winning declaration.
- Emit a clear warning that identifies both sources and explains which declaration was selected.
- Alternatively, fail fast with an actionable conflict error rather than silently launching both.
Exact duplicate names may already receive precedence handling; case-only differences should not bypass it.
Additional context
This is especially easy to encounter when a server was first configured manually and is later installed through a plugin. Individual MCP server packages cannot reliably prevent or repair duplicate declarations because discovery and scope resolution happen in Copilot CLI before the server process starts.
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Hướng nghiên cứu
Bắt đầu với việc khám phá MCP và phân giải phạm vi được thực hiện bằng copilot plugins list --kind mcp --json, so sánh khai báo của người dùng trong ~/.copilot/mcp-config.json với khai báo của plugin. Truy vết nơi tên máy chủ được so sánh giữa các phạm vi. Công việc được xem là hoàn tất khi các bản sao trùng chỉ khác nhau về chữ hoa chữ thường được phát hiện, một khai báo tuân theo quy tắc ưu tiên đã được tài liệu hóa và xung đột được báo cáo hoặc từ chối rõ ràng trước khi cả hai tiến trình được khởi chạy.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- shell
- Lĩnh vực
- cli
- Loại issue
- Lỗi
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức độ hoạt động
- Ít trao đổi
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 52/100