Pre-built security properties for commonly forked DeFi protocols - View it on GitHub