vscode: enable defining mcp.json separate from settings.json (#7441)

VS Code 1.102 separates MCP configuration from `settings.json` to a profile-specific `mcp.json`. VS Code automatically performs this separation if MCP configuration is detected inside `settings.json` which conflicts with the immutability of the settings.json that home-manager supplies.

modules/programs/vscode/default.nix

@@ -54,6 +54,7 @@ let
     name: "${userDir}/${optionalString (name != "default") "profiles/${name}/"}settings.json";
   tasksFilePath =
     name: "${userDir}/${optionalString (name != "default") "profiles/${name}/"}tasks.json";
+  mcpFilePath = name: "${userDir}/${optionalString (name != "default") "profiles/${name}/"}mcp.json";
   keybindingsFilePath =
     name: "${userDir}/${optionalString (name != "default") "profiles/${name}/"}keybindings.json";
 
@@ -123,6 +124,25 @@ let
         '';
       };
 
+      userMcp = mkOption {
+        type = types.either types.path jsonFormat.type;
+        default = { };
+        example = literalExpression ''
+          {
+            "servers": {
+              "Github": {
+                "url": "https://api.githubcopilot.com/mcp/"
+              }
+            }
+          }
+        '';
+        description = ''
+          Configuration written to Visual Studio Code's
+          {file}`mcp.json`.
+          This can be a JSON object or a path to a custom JSON file.
+        '';
+      };
+
       keybindings = mkOption {
         type = types.either types.path (
           types.listOf (
@@ -270,6 +290,7 @@ in
         "enableExtensionUpdateCheck"
         "userSettings"
         "userTasks"
+        "userMcp"
         "keybindings"
         "extensions"
         "languageSnippets"
@@ -383,6 +404,11 @@ in
             if isPath v.userTasks then v.userTasks else jsonFormat.generate "vscode-user-tasks" v.userTasks;
         })
 
+        (mkIf (v.userMcp != { }) {
+          "${mcpFilePath n}".source =
+            if isPath v.userMcp then v.userMcp else jsonFormat.generate "vscode-user-mcp" v.userMcp;
+        })
+
         (mkIf (v.keybindings != [ ]) {
           "${keybindingsFilePath n}".source =
             if isPath v.keybindings then