From 08a039dc342991f6549fa4b517f06012bb7c6aa1 Mon Sep 17 00:00:00 2001
From: actions-user <actions@github.com>
Date: Fri, 12 Sep 2025 09:36:40 +0000
Subject: [PATCH] chore: auto-update generated files

---
 schema.json | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/schema.json b/schema.json
index 6762b3c5b77ec8ef701b8b7add2a4826e9e9823c..060f9738884da739a186898d859ac5618c35b5b8 100644
--- a/schema.json
+++ b/schema.json
@@ -271,10 +271,20 @@
           "examples": [
             ".crush"
           ]
+        },
+        "disabled_tools": {
+          "items": {
+            "type": "string"
+          },
+          "type": "array",
+          "description": "Tools to disable"
         }
       },
       "additionalProperties": false,
-      "type": "object"
+      "type": "object",
+      "required": [
+        "disabled_tools"
+      ]
     },
     "Permissions": {
       "properties": {