Support featured plugins (#15042)

2026-04-25 15:15:15 +00:00 · 2026-03-18 17:45:30 -07:00
parent 81996fcde6
commit 825d09373d
16 changed files with 385 additions and 22 deletions
--- a/codex-rs/app-server-protocol/schema/json/v2/PluginListResponse.json
+++ b/codex-rs/app-server-protocol/schema/json/v2/PluginListResponse.json
@@ -239,6 +239,13 @@
    }
  },
  "properties": {
+    "featuredPluginIds": {
+      "default": [],
+      "items": {
+        "type": "string"
+      },
+      "type": "array"
+    },
    "marketplaces": {
      "items": {
        "$ref": "#/definitions/PluginMarketplaceEntry"