From f22ec5fcad7b4905ffa2d1ea31be930911291cae Mon Sep 17 00:00:00 2001 From: Charm <124303983+charmcli@users.noreply.github.com> Date: Wed, 11 Feb 2026 19:12:18 +0000 Subject: [PATCH] chore: auto-update files --- schema.json | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/schema.json b/schema.json index f54df0996a5a763a9265bb51efb1d70c29780d63..298d8fe814b80fa693759e9de5a1dafb921b389f 100644 --- a/schema.json +++ b/schema.json @@ -690,6 +690,16 @@ "expires_at" ] }, + "ToolGrep": { + "properties": { + "timeout": { + "type": "integer", + "description": "Timeout for the grep tool call" + } + }, + "additionalProperties": false, + "type": "object" + }, "ToolLs": { "properties": { "max_depth": { @@ -716,12 +726,16 @@ "properties": { "ls": { "$ref": "#/$defs/ToolLs" + }, + "grep": { + "$ref": "#/$defs/ToolGrep" } }, "additionalProperties": false, "type": "object", "required": [ - "ls" + "ls", + "grep" ] } }