Skip to content

Add friendly display names for uncovered MCP tools#374

Merged
rajbos merged 2 commits intomainfrom
codex/add-friendly-names-for-tools
Mar 9, 2026
Merged

Add friendly display names for uncovered MCP tools#374
rajbos merged 2 commits intomainfrom
codex/add-friendly-names-for-tools

Conversation

@Codex
Copy link
Contributor

@Codex Codex AI commented Mar 9, 2026

Unknown tools surfaced in the Usage panel due to missing friendly names. This change adds display labels so GitKraken MCP git commands, setup agent, and VSCode WebSearch entries render clearly.

  • Tool name mapping updates
    • Added GitKraken MCP git actions (git_add_or_commit, git_status, workspace list) to src/toolNames.json
    • Added display names for setup.agent and vscode-websearchforcopilot_webSearch

Example mapping:

{
  "mcp_gitkraken_git_add_or_commit": "GitKraken MCP: Git Add or Commit",
  "setup.agent": "Setup Agent",
  "vscode-websearchforcopilot_webSearch": "VSCode WebSearch for Copilot: Web Search"
}
Original prompt

This section details on the original issue you should resolve

<issue_title>Add missing friendly names for tools</issue_title>
<issue_description>## Unknown Tools Found

The following tools were detected but don't have friendly display names:

  • mcp_gitkraken_git_add_or_commit
  • mcp_gitkraken_git_status
  • mcp_gitkraken_gitkraken_workspace_list
  • setup.agent
  • vscode-websearchforcopilot_webSearch

Please add friendly names for these tools to improve the user experience.</issue_description>

Comments on the Issue (you are @codex[agent] in this section)

Co-authored-by: rajbos <6085745+rajbos@users.noreply.github.com>
@Codex Codex AI changed the title [WIP] Add missing friendly names for tools Add friendly display names for uncovered MCP tools Mar 9, 2026
@rajbos rajbos marked this pull request as ready for review March 9, 2026 21:00
@rajbos rajbos enabled auto-merge March 9, 2026 21:01
@rajbos rajbos merged commit 225ecf2 into main Mar 9, 2026
13 checks passed
@rajbos rajbos deleted the codex/add-friendly-names-for-tools branch March 9, 2026 21:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add missing friendly names for tools

2 participants