From f7da39b966ece1ec43eb13a256008cec95e75fa9 Mon Sep 17 00:00:00 2001 From: Levi Neely Date: Sat, 4 Apr 2026 21:40:52 +0200 Subject: [PATCH] file_write: require reading target lines before writing --- main.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.go b/main.go index 221ebda..744c6a0 100644 --- a/main.go +++ b/main.go @@ -114,7 +114,7 @@ var builtinTools = []backend.Tool{ }, { Name: "file_write", - Description: "Write content to a file. Omit start_line/end_line to overwrite the whole file. Provide both to replace only that line range. Preserve original formatting and indentation. Always use this instead of shell commands for writing files.", + Description: "Write content to a file. Omit start_line/end_line to overwrite the whole file. Provide both to replace only that line range. Always use file_read or grep -n to identify the exact line range before writing. Never guess line numbers. Preserve original formatting and indentation. Always use this instead of shell commands for writing files.", Parameters: json.RawMessage(`{ "type": "object", "required": ["path", "content"],