Error calling tool 'edit_file'.

Hey, we’re already working on fixing this issue. Please keep an eye on this topic: