GitHub repository: Certora/safeguard
Primary language: Go
Description: Safeguard Ethereum monitoring