From 8657de082c923c8b3e47b5a96b57b22673daeb19 Mon Sep 17 00:00:00 2001
From: Jose Antonio Alatorre <jose@main-sequence.io>
Date: Mon, 26 Oct 2026 14:38:28 +0400
Subject: [PATCH] Point the MainSequence marketplace to Codex plugin 0.7.12

0.7.12 scopes a fresh server's first tools/list to its own backend and reports
connections whose catalogs cannot be read, on devtools 0.3.14.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 .agents/plugins/marketplace.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.agents/plugins/marketplace.json b/.agents/plugins/marketplace.json
index f9c728c..8731f0f 100644
--- a/.agents/plugins/marketplace.json
+++ b/.agents/plugins/marketplace.json
@@ -9,7 +9,7 @@
       "source": {
         "source": "npm",
         "package": "@dev-mainsequence/codex-plugin",
-        "version": "0.7.11"
+        "version": "0.7.12"
       },
       "policy": {
         "installation": "AVAILABLE",