Change summary
schema.json | 16 +++++++++++++++-
1 file changed, 15 insertions(+), 1 deletion(-)
Detailed changes
@@ -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"
]
}
}