Remove non-existent tools from GitHub MCP toolsets mapping #13169
+26
−26
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.