Resolve binlog MCP from the dnceng dotnet-public feed (#969)

* Resolve binlog MCP from the dnceng dotnet-public feed

The `binlog` server ran `dnx Microsoft.AITools.BinlogMcp --yes` with no feed pinned, so resolution depended on whatever ambient NuGet configuration the agent happened to run under. Pin it to the dnceng dotnet-public feed with `--source` so the server resolves deterministically.

Applied to all four manifests that embed the server definition (plugin.json, .claude-plugin/plugin.json, .codex-plugin/.mcp.json, and .claude-plugin/marketplace.json) so the mirrors stay in sync. Also corrects two stale feed names in comments/docs (dotnet-eng, dotnet-tools).

Verified: `skill-validator check` passes (exit 0, no new warnings), and `dnx --yes --source <dotnet-public> Microsoft.AITools.BinlogMcp` starts aitools-binlog-mcp 2.0.1 and completes an MCP initialize handshake.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Copilot-Session: eef3a5cc-7c9b-41b2-88e5-fbc7e786f3f2

* Keep the package ID first in the dnx args

Addresses review feedback. Both orderings resolve and start the server correctly (verified), but keeping `Microsoft.AITools.BinlogMcp` immediately after `dnx` matches the ordering already used in this repo and turns the change into a pure insertion of `--source` with no reordering noise.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Copilot-Session: eef3a5cc-7c9b-41b2-88e5-fbc7e786f3f2

---------

Co-authored-by: Amaury Levé <amauryleve@microsoft.com>
Copilot-Session: eef3a5cc-7c9b-41b2-88e5-fbc7e786f3f2

.claude-plugin/marketplace.json

@@ -35,7 +35,9 @@
           "args": [
             "dnx",
             "Microsoft.AITools.BinlogMcp",
-            "--yes"
+            "--yes",
+            "--source",
+            "https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet-public/nuget/v3/index.json"
           ],
           "tools": ["*"]
         }

eng/allowed-external-deps.txt

@@ -24,5 +24,5 @@ script:migrate-nullable-references:scripts/Get-NullableReadiness.ps1
 tool-ref:msbuild:#tool:web/fetch
 tool-ref:msbuild:#tool:agent/runSubagent
 
-# dotnet-msbuild plugin: Microsoft.AITools.BinlogMcp server (binlog analysis MCP from dotnet-eng feed)
+# dotnet-msbuild plugin: Microsoft.AITools.BinlogMcp server (binlog analysis MCP from dotnet-public feed)
 mcp-server:dotnet-msbuild:binlog

plugins/dotnet-msbuild/.claude-plugin/plugin.json

@@ -15,7 +15,9 @@
       "args": [
         "dnx",
         "Microsoft.AITools.BinlogMcp",
-        "--yes"
+        "--yes",
+        "--source",
+        "https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet-public/nuget/v3/index.json"
       ],
       "tools": ["*"]
     }

plugins/dotnet-msbuild/.codex-plugin/.mcp.json

@@ -6,7 +6,9 @@
       "args": [
         "dnx",
         "Microsoft.AITools.BinlogMcp",
-        "--yes"
+        "--yes",
+        "--source",
+        "https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet-public/nuget/v3/index.json"
       ],
       "tools": ["*"]
     }

plugins/dotnet-msbuild/plugin.json

@@ -15,7 +15,9 @@
       "args": [
         "dnx",
         "Microsoft.AITools.BinlogMcp",
-        "--yes"
+        "--yes",
+        "--source",
+        "https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet-public/nuget/v3/index.json"
       ],
       "tools": ["*"]
     }

plugins/dotnet-msbuild/skills/binlog-failure-analysis/SKILL.md

@@ -33,7 +33,7 @@ Use the available MCP server tools to query the binary log for:
 ## Fallback workflow — text-log replay (when MCP is unavailable)
 
 Use this only when the MCP server cannot be started (for example, on an older
-SDK or in an offline environment without access to the `dotnet-tools` NuGet feed).
+SDK or in an offline environment without access to the `dotnet-public` NuGet feed).
 
 ### Replay the binlog to text logs