           returncode: 1,
                    stdout: "",
                    stderr: `Executable not found: ${JSON.stringify(argv[0])}`,
                };
                debug_log(result);
                return result;
            }

            const tool_info = argv[0].endsWith(".py") ? "python" : sharedFileSystem.readFile(argv[0], {encoding: "utf8"});
            const [tool_name, ...extra_args] = tool_info.split(";")

            if (!(tool_name in tools)) {
                const result = {
        