`/mcp` stops showing tools for MCP servers with hyphens in their names in `0.115.0`

What version of Codex CLI is running?

codex-cli 0.115.0

What subscription do you have?

Pro

Which model were you using?

not important

What platform is your computer?

Linux 6.16.8-200.fc42.x86_64 x86_64 unknown

What terminal emulator and version are you using (if applicable)?

N/A

What issue are you seeing?

Codex accepts MCP server names matching ^[a-zA-Z0-9_-]+$, but /mcp fails to show tools for servers whose configured name contains -.

Example server name:

• mocop-mainline

But /mcp shows no tools for that server.

Changing the name to only use _ then shows the tools again.

Resources and Resource templates still work correctly and show up under the server name.

What steps can reproduce the bug?

add an mcp server with a name containing - and the tools disappear.

A few examples
gitnexus mcp server
_No dashes in name gitnexus_
<img width="2292" height="378" alt="Image" src="https://github.com/user-attachments/assets/1dd5e872-23e4-4541-8e3f-8ceb78845f8c" />

_Dash in name git-nexus_
<img width="2246" height="440" alt="Image" src="https://github.com/user-attachments/assets/ebf13973-4f79-45ea-a821-ed16b6c4c10d" />

assury mocop mcp gateway server
_underscore in name_
<img width="2288" height="966" alt="Image" src="https://github.com/user-attachments/assets/7778cfeb-7019-46a8-bdb3-ae367c2f37f1" />

_dash in name_
<img width="2274" height="414" alt="Image" src="https://github.com/user-attachments/assets/669714be-d360-4aa6-b9b7-44f052033085" />

What is the expected behavior?

names with - should show tools correctly if the filter for valid names includes -.

Additional information

_No response_