A (Coq Development Team) bot written in OCaml - View it on GitHub