Rename MCP server identifier from state-hub to dev-hub

Introduce canonical MCP_SERVER_NAME constants, shared registration helpers,
and a migrate_mcp_config.py script for ~/.claude.json upgrades. Registration,
patch, and custodian CLI checks accept both dev-hub and legacy state-hub during
transition. API root metadata and session-protocol template reflect the new name.
This commit is contained in:
2026-06-22 20:46:14 +02:00
parent 18a5e2d6f0
commit 398f458374
11 changed files with 198 additions and 23 deletions

View File

@@ -112,11 +112,12 @@ if not f.exists():
print('MISSING_FILE')
else:
d = json.loads(f.read_text())
print('OK' if 'state-hub' in d.get('mcpServers', {}) else 'NOT_REGISTERED')
servers = d.get('mcpServers', {})
print('OK' if 'dev-hub' in servers or 'state-hub' in servers else 'NOT_REGISTERED')
")"
case "$MCP_OK" in
MISSING_FILE) echo "WARNING: ~/.claude.json not found. MCP server not registered." ;;
NOT_REGISTERED) echo "WARNING: 'state-hub' not in ~/.claude.json. See global CLAUDE.md §MCP Server Registration." ;;
NOT_REGISTERED) echo "WARNING: 'dev-hub' not in ~/.claude.json. See global CLAUDE.md §MCP Server Registration." ;;
*) echo " MCP OK" ;;
esac
fi