Introduce an explicit `source` parameter ("workspace" | "user") for MCP server upsert/delete operations, defaulting to "workspace". Update store action signatures and types, pass `source` through JSON-RPC requests, and extend generated websocket JSON-RPC schemas/types to include the new field. Adjust the settings UI to only list user-scoped servers and to pass "user" when performing user-targeted edits/deletes. Update tests to reflect the new `source` semantics and include related server/registry/session changes to support targeting global (user) MCP config.
