This project contains all source code to generate the signatures and other resources that the Checker produces.