Call setDefaultAgentInConfig when switching workspaces so the gateway picks up the active workspace agent.
New /api/workspace/list and /api/workspace/switch for workspace discovery and switching.