EditFileTool
class EditFileTool<Path>(fs: FileSystemProvider.ReadWrite<Path>) : Tool<EditFileTool.Args, EditFileTool.Result> (source)
Tool to enable the agent to edit files.
Takes a file path and two strings: original and replacement. And searches for the original string in the file and replaces it with the replacement.
Also handles case and white space mismatches in the original string.