GitHub repository: CertiKProject/slither-certik
Primary language: Python
Description: CertiK fork of Slither Analyzer