As a bonus configure Slither as an automated step in our CI
As a bonus configure Slither as an automated step in our CI