When you install an MCP Server from the Registry, it has this nice name... I would expect that name to be used in the tool picker. In this case, then the naming style would be aligned with Extensions.

After doing so and having tested out the MCP server which seemingly works okay (with unrelated bugs) I saw that Chrome DevTools MCP is also available to install through the VS Code extensions ...