Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

Author: vipbhardwaj

servers/AGENTS.md

@@ -9,7 +9,7 @@ You own everything under `servers/`:
 | Path | Language | Build System | Target Platforms | Transport |
 |---|---|---|---|---|
 | `c/` | C++ (C++17) | CMake 3.23+ | macOS, Linux, Windows, iOS, Android | HTTP (CivetWeb) |
-| `dotnet/` | C# (.NET 10 / `net10.0-*`) | MSBuild / `dotnet` CLI | Windows, macOS, iOS, Android | HTTP (Kestrel) |
+| `dotnet/` | C# (.NET MAUI + .NET CLI; `net10.0-{ios,maccatalyst,android}` and `net8.0`) | MSBuild / `dotnet` CLI | iOS, Mac Catalyst, Android via MAUI test server; desktop/CLI via `net8.0` CLI server | HTTP (Kestrel) |
 | `ios/` | Swift | Xcode | iOS device + simulator | HTTP |
 | `jak/` | Java / Kotlin | Gradle | Android, JVM Desktop, Web Service | HTTP |
 | `javascript/` | TypeScript | Vite / Vitest | Browser | **WebSocket** (not HTTP) |