CodeStyle is a stand-alone JAVA-application to check OCAML-programs for compliance with coding style guidelines. It is mainly intended for educational purposes, i.e., introductions to (functional) programming.
Gourmand offers an interactive mode for developers/students as well as a batch mode for inspectors/supervisors.
In the interactive mode, developers can explore individual error messages, recompile and re-assess their code to learn interactively about good coding style. In the batch mode, a supervisor can check a (large) set of programs in one go, creating a summary report. Typically, this would be the case when grading an assignment of a class.
CodeStyle is currently undergoing a major revision to, among other things, make it localizable, and broaden its scope from (just) OCAML to other languages of the ML family, particularly F-sharp. Thus, it is currently not available.