Merge #1549: Add GitHub MCP server config

db1c9b0 fix: test after updating dependencies (Jose Celano)
9c3c910 chore: add GitHhub MCP server config (Jose Celano)
caa03cc fix: deprecated function criterion::black_box (Jose Celano)
00b9bf9 chore(deps): update dependencies (Jose Celano)

Pull request description:

  Add GitHub MCP server config.

ACKs for top commit:
  josecelano:
    ACK db1c9b0

Tree-SHA512: 747dff8ace0a1e2a7910d878b2c15d309a7949b387c3624a5700f19096edb2ebfae72cb3ed81a230ade014229b0bf068a94198144d0d7813ee13a7470a748945

Author: josecelano

.vscode/mcp.json

@@ -0,0 +1,26 @@
+{
+    "inputs": [
+        {
+            "type": "promptString",
+            "id": "github_token",
+            "description": "GitHub Personal Access Token",
+            "password": true
+        }
+    ],
+    "servers": {
+        "github": {
+            "command": "docker",
+            "args": [
+                "run",
+                "-i",
+                "--rm",
+                "-e",
+                "GITHUB_PERSONAL_ACCESS_TOKEN",
+                "ghcr.io/github/github-mcp-server"
+            ],
+            "env": {
+                "GITHUB_PERSONAL_ACCESS_TOKEN": "${input:github_token}"
+            }
+        }
+    }
+}