@@ -690,6 +690,16 @@
690 "expires_at"
690 "expires_at"
697+ "description": "Timeout for the grep tool call"
700+ "additionalProperties": false,
693 "ToolLs": {
703 "ToolLs": {
694 "properties": {
704 "properties": {
695 "max_depth": {
705 "max_depth": {
@@ -716,12 +726,16 @@
716 "properties": {
726 "properties": {
718 "$ref": "#/$defs/ToolLs"
728 "$ref": "#/$defs/ToolLs"
731+ "$ref": "#/$defs/ToolGrep"
721 "additionalProperties": false,
734 "additionalProperties": false,
722 "type": "object",
735 "type": "object",
723 "required": [
736 "required": [