GitHub repository: lidofinance/oracle-v2-upgrade-check
Primary language: Python
Description: Correctness check for Oracle v2 upgrade DAO vote