Skip to content

chore: name the proxy after the project it proxies - #30

Merged
DottytheHomeless merged 1 commit into
mainfrom
chore/rename-server-identifier
Aug 11, 2026
Merged

DottytheHomeless merged 1 commit into
mainfrom
chore/rename-server-identifier

Conversation

@DottytheHomeless

Copy link
Copy Markdown
Contributor

The MCP server identifier in adapters/codex-recovery-proxy/ carried a personal codename. Someone reading that README has no way to know it and mneme are the same thing — the name told them nothing, and hinted at something internal.

This costs existing users nothing. I said the opposite in #29 and was wrong to be that cautious; on a closer read:

  • the [mcp_servers.<name>] key is one the user picks themselves — the proxy never reads it
  • serverInfo.name is not used for routing by any client
  • so configs already in place keep working untouched, and the README now says that explicitly

Renaming gets more expensive the longer a name is out in the world, which is the argument for doing it now rather than later.

Kept separate from #29 on purpose: that one is mechanical cleanup, this one is a naming call that is yours to make. Either can land without the other.

The MCP server identifier carried a person's codename. Someone reading the
adapter README has no way to know that chinatsu-memory and mneme are the same
thing -- the name told them nothing and hinted at something private.

This costs existing users nothing: the mcp_servers key is one they chose
themselves and codex resolves locally, the proxy never reads it, and serverInfo
is not used for routing. Configs already in place keep working; the README now
says so explicitly.

Renaming gets more expensive the longer the name is out there, which is the
argument for doing it now rather than later.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@DottytheHomeless
DottytheHomeless merged commit c854263 into main Aug 11, 2026
2 checks passed
@DottytheHomeless
DottytheHomeless deleted the chore/rename-server-identifier branch August 11, 2026 06:21
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.

1 participant