GitHub repository: opensoft/proofutils
Primary language: C++
Description: Set of proof modules used by almost all stations/services