generated MCP tool names are too long

What version of Codex is running?

0.1.2505111730

Which model were you using?

codex-mini-latest

What platform is your computer?

unsure

What steps can reproduce the bug?

This is based on this thread from the discussion forums:

https://github.com/openai/codex/discussions/1174#discussioncomment-13343602

Basically, the injected __OAI_CODEX_MCP__ delimiter can cause things to tip over the 64-character limit

What is the expected behavior?

Need to find a way to have multiple MCPs with a reliable disambiguation scheme that is less likely to trip the limit.

What do you see instead?

ERROR: unexpected status 400 Bad Request: {  "error": {    "message": "Invalid 'tools[5].name': string too long. Expected a string with maximum length 64, but got a string with length 72 instead.",    "type": "invalid_request_error",    "param": "tools[5].name",    "code": "string_above_max_length"  }}

Additional information

_No response_

{
  "error": {
    "message": "Invalid 'tools[39].name': string too long. Expected a string with maximum length 64, but got a string with length 72 instead.",
    "type": "invalid_request_error",
    "param": "tools[39].name",
    "code": "string_above_max_length"
  }
}