For developers who want to build specialized tools on top of ProB, we have prepared comprehensive documentation of the ProB Java API together with a template that enables a quick start. The documentation is available from https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2.0 the template is located at https://github.com/bendisposto/prob2_tooling_template.