on main help sign in
chore: auto-update files
f22ec5fCharm
schema.json+15−1
@@ -690,6 +690,16 @@
690 "expires_at"
690 "expires_at"
691 ]
691 ]
692 },
692 },
693+ "ToolGrep": {
694+ "properties": {
695+ "timeout": {
696+ "type": "integer",
697+ "description": "Timeout for the grep tool call"
698+ }
699+ },
700+ "additionalProperties": false,
701+ "type": "object"
702+ },
693 "ToolLs": {
703 "ToolLs": {
694 "properties": {
704 "properties": {
695 "max_depth": {
705 "max_depth": {
@@ -716,12 +726,16 @@
716 "properties": {
726 "properties": {
717 "ls": {
727 "ls": {
718 "$ref": "#/$defs/ToolLs"
728 "$ref": "#/$defs/ToolLs"
729+ },
730+ "grep": {
731+ "$ref": "#/$defs/ToolGrep"
719 }
732 }
720 },
733 },
721 "additionalProperties": false,
734 "additionalProperties": false,
722 "type": "object",
735 "type": "object",
723 "required": [
736 "required": [
724− "ls"
737+ "ls",
738+ "grep"
725 ]
739 ]
726 }
740 }
727 }
741 }