Improved Claude Code integration

* Authenticate the GitHub MCP server in Claude Code through a `headersHelper`
  that reuses the GitHub token stored by Git Credential Manager. The server
  does not support dynamic client registration, so the OAuth flow of Claude
  Code fails. The helper prints `{}` when there is no credential.
* Sort MCP servers alphabetically and replace the server table in the
  instructions with hints on when to prefer a server.
* Add `AGENTS.md` pointing at the shared instructions.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: xperiandri

.claude/scripts/github-mcp-headers.ps1

@@ -0,0 +1,22 @@
+# Emits GitHub MCP request headers for Claude Code's `headersHelper`.
+# Reuses the GitHub OAuth token stored by Git Credential Manager, so no PAT is needed.
+# Prints `{}` when no credential is available, so the server stays unauthenticated instead of failing.
+
+$ErrorActionPreference = 'Stop'
+$env:GCM_INTERACTIVE = 'never'
+$env:GIT_TERMINAL_PROMPT = '0'
+
+$token = $null
+try {
+    $credential = "protocol=https`nhost=github.com`n`n" | git credential fill 2>$null
+    $token = ($credential | Where-Object { $_ -like 'password=*' }) -replace '^password=', ''
+}
+catch {
+}
+
+if ($token) {
+    @{ Authorization = "Bearer $token" } | ConvertTo-Json -Compress
+}
+else {
+    '{}'
+}

.github/copilot-instructions.md

@@ -63,20 +63,12 @@ Use GitHub MCP tools for code search in these repositories when needed.
 
 ## MCP Servers
 
-MCP server configuration lives in #file:'.mcp.json':
+Agents discover servers from #file:'.mcp.json'; these are only hints on when to prefer one.
 
-* `servers` – read by VS Code / GitHub Copilot.
-* `mcpServers` – read by Claude Code. Mirrors the same servers; keep both sections in sync when adding or changing a server.
-
-Local tool packages are pinned in #file:'.config/dotnet-tools.json' – run `dotnet tool restore` before first use.
-
-| Server | Tool package | Command | Notes |
-|---|---|---|---|
-| `F#` | `fslangmcp` | `dotnet tool run fslangmcp` | Semantic F# MCP backed by the compiler and FSAC. Use it for cross-project symbol search, project/file outlines, diagnostics, rename previews, dead-code checks, and other F#-aware analysis that plain text search misses. See <https://github.com/Neftedollar/FsLangMCP>. |
-| `GitHub` | – | HTTP | Code search in dependency repositories. |
-| `Microsoft Docs` | – | HTTP | Official Microsoft and .NET documentation. |
-
-For F# work, prefer FsLangMCP over `rg`/plain text search whenever the task depends on symbol meaning, compile context, cross-project usage, diagnostics, or safe refactoring preview.
+* For F# work, prefer the `F#` server ([FsLangMCP](https://github.com/Neftedollar/FsLangMCP)) over `rg`/plain text search whenever the task depends on symbol meaning, compile context, cross-project usage, diagnostics, or safe refactoring preview. Its tool package is pinned in #file:'.config/dotnet-tools.json' – run `dotnet tool restore` before first use.
+* Use the `GitHub` server for code search in dependency repositories. In Claude Code it authenticates through `.claude/scripts/github-mcp-headers.ps1`, which reuses the GitHub token stored by Git Credential Manager, because the server does not support the OAuth dynamic client registration Claude Code needs.
+* Use the `Microsoft Docs` server for official Microsoft and .NET documentation.
+* When adding or changing a server, keep `servers` (VS Code / GitHub Copilot) and `mcpServers` (Claude Code) in sync and sorted alphabetically by key.
 
 ## F# Coding Guidelines
 

.mcp.json

@@ -1,13 +1,5 @@
 {
   "servers": {
-    "Microsoft Docs": {
-      "type": "http",
-      "url": "https://learn.microsoft.com/api/mcp"
-    },
-    "GitHub": {
-      "type": "http",
-      "url": "https://api.githubcopilot.com/mcp/"
-    },
     "F#": {
       "type": "stdio",
       "command": "dotnet",
@@ -16,17 +8,17 @@
         "run",
         "fslangmcp"
       ]
-    }
-  },
-  "mcpServers": {
-    "Microsoft Docs": {
-      "type": "http",
-      "url": "https://learn.microsoft.com/api/mcp"
     },
     "GitHub": {
       "type": "http",
       "url": "https://api.githubcopilot.com/mcp/"
     },
+    "Microsoft Docs": {
+      "type": "http",
+      "url": "https://learn.microsoft.com/api/mcp"
+    }
+  },
+  "mcpServers": {
     "F#": {
       "type": "stdio",
       "command": "dotnet",
@@ -35,6 +27,15 @@
         "run",
         "fslangmcp"
       ]
+    },
+    "GitHub": {
+      "type": "http",
+      "url": "https://api.githubcopilot.com/mcp/",
+      "headersHelper": "pwsh -NoProfile -File .claude/scripts/github-mcp-headers.ps1"
+    },
+    "Microsoft Docs": {
+      "type": "http",
+      "url": "https://learn.microsoft.com/api/mcp"
     }
   }
 }

AGENTS.md

@@ -0,0 +1,3 @@
+# Agent Instructions
+
+Before starting any task, read and follow [.github/copilot-instructions.md](.github/copilot-instructions.md). It holds the full project context and coding standards.