优化工具

src/tools/descriptions/edit_file.txt

@@ -0,0 +1 @@
+通过字符串替换编辑文件的部分内容。比 write_file 更高效，适合修改文件的一小部分。