Remove non-existent tools from GitHub MCP toolsets mapping#13169
Merged
Remove non-existent tools from GitHub MCP toolsets mapping#13169
Conversation
- Remove get_repository from repos toolset (tool doesn't exist in MCP server) - Remove create_code_scanning_alert from code_security toolset (tool doesn't exist in MCP server) - Update test files to use get_file_contents instead of get_repository - Rebuild binary to embed updated JSON Co-authored-by: pelikhan <4175913+pelikhan@users.noreply.github.com>
Contributor
|
@copilot review changes and compare with readme of GitHub-MCP-server repo |
Copilot
AI
changed the title
[WIP] Remove non-existent tools from GitHub MCP toolsets mapping
Remove non-existent tools from GitHub MCP toolsets mapping
Feb 1, 2026
This was referenced Feb 1, 2026
Contributor
Author
Verified against the official GitHub MCP Server README. The removals are correct:
The changes align with the actual MCP server capabilities documented in commit 5d8e075. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The GitHub MCP toolsets permissions mapping referenced two tools that don't exist in the remote server, causing the compiler's tool catalog to diverge from runtime capabilities.
Changes
Removed from
pkg/workflow/data/github_toolsets_permissions.json:repostoolset:get_repository(never implemented in MCP server)code_securitytoolset:create_code_scanning_alert(read-only toolset, write operation unavailable)Updated test fixtures:
Replaced
get_repositoryreferences withget_file_contentsin:copilot_engine_test.gocopilot_mcp_http_integration_test.gocache_memory_threat_detection_test.gocache_memory_import_test.gocompiler_cache_test.gogithub_toolset_validation_integration_test.goThe repos toolset now accurately lists 10 available tools. The code_security toolset correctly reflects its read-only nature with 2 tools.
Original prompt
This section details on the original issue you should resolve
<issue_title>Remove non-existent tools from GitHub MCP toolsets mapping</issue_title>
<issue_description>### Summary
This PR updates the GitHub MCP toolsets permissions mapping to accurately reflect the tools actually available in the GitHub MCP remote server.
Changes
Removed two tools from
pkg/workflow/data/github_toolsets_permissions.jsonthat are listed in the JSON mapping but don't actually exist in the GitHub MCP server:repos toolset: Removed
get_repositoryget_file_contents,list_commits, etc.code_security toolset: Removed
create_code_scanning_alertget_code_scanning_alertandlist_code_scanning_alertsVerification
The changes were verified by comparing the JSON mapping against the actual tools discovered in the GitHub MCP remote server during the comprehensive tools audit run on January 6, 2026. The audit systematically explored all 19 toolsets and cataloged 56 available tools.
Impact
This ensures that:
Testing
To apply the patch locally:
Show patch preview (43 of 43 lines)
Comments on the Issue (you are @copilot in this section)
💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.