GitHub repository: 0xNazgul/fuzzydefi
Primary language: Solidity
Description: Pre-built security properties for commonly forked DeFi protocols