Skip to content

Add friendly names for Serena MCP tools#357

Merged
rajbos merged 3 commits intomainfrom
copilot/add-friendly-names-for-tools
Mar 7, 2026
Merged

Add friendly names for Serena MCP tools#357
rajbos merged 3 commits intomainfrom
copilot/add-friendly-names-for-tools

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 7, 2026

Two tools from the Serena MCP server were showing raw IDs instead of friendly display names in the Usage Analysis panel.

Changes

  • src/toolNames.json: added mappings for the two missing Serena tools:
    • mcp_oraios_serena_activate_projectSerena: Activate Project
    • mcp_oraios_serena_get_current_configSerena: Get Current Config
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_oraios_serena_activate_project:Serena
  • mcp_oraios_serena_get_current_config:Serena

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

Comments on the Issue (you are @copilot in this section)

@rajbos Awesome @ChenZhouUC ! Thanks a lot!

Seems like this is coming from this MCP Server repo: https://github.com/oraios/serena, so we can use Serena as the MCP Server name, as Oraios is the vendor name.</comment_new>


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI self-assigned this Mar 7, 2026
Co-authored-by: rajbos <6085745+rajbos@users.noreply.github.com>
Copilot AI changed the title [WIP] Add missing friendly names for tools Add friendly names for Serena MCP tools Mar 7, 2026
@rajbos rajbos marked this pull request as ready for review March 7, 2026 11:06
@rajbos rajbos enabled auto-merge March 7, 2026 11:07
@rajbos rajbos merged commit 3563cb4 into main Mar 7, 2026
14 checks passed
@rajbos rajbos deleted the copilot/add-friendly-names-for-tools branch March 7, 2026 11:08
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