Skip to content

[mcp-tools] Update GitHub MCP toolsets mapping with actual MCP server tools#7474

Merged
pelikhan merged 1 commit intomainfrom
update-github-mcp-tools-mapping-2025-12-24-9397874b82bcbbc3
Dec 24, 2025
Merged

[mcp-tools] Update GitHub MCP toolsets mapping with actual MCP server tools#7474
pelikhan merged 1 commit intomainfrom
update-github-mcp-tools-mapping-2025-12-24-9397874b82bcbbc3

Conversation

@github-actions
Copy link
Contributor

This pull request updates the pkg/workflow/data/github_toolsets_permissions.json file to accurately reflect the tools available in the GitHub MCP remote server.

Summary of Changes

Context Toolset

Removed tools (not available in MCP server):

  • get_me
  • get_team_members
  • get_teams

Current tools:

  • get_copilot_space
  • github_support_docs_search
  • list_copilot_spaces

Issues Toolset

Added:

  • search_issues (tool is available in MCP server and also appears in search toolset)

Pull Requests Toolset

Added:

  • search_pull_requests (tool is available in MCP server and also appears in search toolset)

Actions Toolset

Replaced individual tools with wrapper methods:

Removed (these are methods within actions_get and actions_list, not standalone tools):

  • download_workflow_run_artifact
  • get_workflow_run
  • get_workflow_run_logs
  • get_workflow_run_usage
  • list_workflow_jobs
  • list_workflow_run_artifacts
  • list_workflow_runs
  • list_workflows

Current tools:

  • actions_get - wrapper tool with methods to get individual workflows, runs, jobs, and artifacts
  • actions_list - wrapper tool with methods to list workflows, runs, jobs, and artifacts
  • get_job_logs - standalone tool for retrieving job logs

Impact

This update ensures the JSON mapping accurately represents the actual MCP server capabilities and prevents discrepancies in toolset compilation. The compiler will now correctly understand which tools are available when specific toolsets are enabled.

Verification

These changes were identified by:

  1. Systematically inspecting available MCP tools in a remote server configuration with all toolsets enabled
  2. Comparing the actual available tools with the JSON mapping
  3. Identifying discrepancies and updating the mapping to match reality

AI generated by GitHub MCP Remote Server Tools Report Generator

This commit updates the github_toolsets_permissions.json file to accurately
reflect the tools available in the GitHub MCP remote server.

Changes:
- Removed tools from 'context' toolset that are not available: get_me, get_team_members, get_teams
- Added search_issues to 'issues' toolset (tool is available in MCP server)
- Added search_pull_requests to 'pull_requests' toolset (tool is available in MCP server)
- Replaced individual action tools with wrapper tools in 'actions' toolset:
  - Removed: download_workflow_run_artifact, get_workflow_run, get_workflow_run_logs,
    get_workflow_run_usage, list_workflow_jobs, list_workflow_run_artifacts,
    list_workflow_runs, list_workflows
  - These are now accessible via: actions_get, actions_list methods
  - Kept: get_job_logs (standalone tool)

This ensures the JSON mapping accurately represents the actual MCP server
capabilities and prevents discrepancies in toolset compilation.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
@github-actions github-actions bot added automation documentation Improvements or additions to documentation labels Dec 24, 2025
@pelikhan pelikhan merged commit 0554389 into main Dec 24, 2025
4 checks passed
@pelikhan pelikhan deleted the update-github-mcp-tools-mapping-2025-12-24-9397874b82bcbbc3 branch December 24, 2025 07:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automation documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant