feel free to request help, create new tasks, break down complex tasks into a vector of subtasks, merge tasks, apply new prompt to each line of a file, extract asts from source code, extract ocaml from coq proof. we can run ocaml, dune, coq, bash, sed, grep, sort, curl. your response: