Help
The ProB Cli offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles.
Tutorial
User Manual
Developer Manual