[ { "type": "function", "function": { "name": "list_files", "description": "List all files in the repository for indexing and context", "parameters": { "type": "object", "properties": { "directory": { "type": "string", "description": "The directory to list (default is root)", "default": "." } } } } }, { "type": "function", "function": { "name": "read_file", "description": "Read the content of a file", "parameters": { "type": "object", "properties": { "path": { "type": "string", "description": "The path to the file to read" } }, "required": [ "path" ] } } }, { "type": "function", "function": { "name": "write_file", "description": "Write content to a file", "parameters": { "type": "object", "properties": { "path": { "type": "string", "description": "The path to the file to write" }, "content": { "type": "string", "description": "The content to write to the file" } }, "required": [ "path", "content" ] } } }, { "type": "function", "function": { "name": "edit_file", "description": "Edit a file using search and replace", "parameters": { "type": "object", "properties": { "path": { "type": "string", "description": "The path to the file to edit" }, "search": { "type": "string", "description": "The exact string to search for" }, "replace": { "type": "string", "description": "The string to replace it with" } }, "required": [ "path", "search", "replace" ] } } } ]