GitHub repository: mojtaba-eshghie/InvPurge
Description: InvPurge refines, prunes, and optimizes invariants from various smart contract analysis tools, enhancing the accuracy and efficiency of smart contract verification and repair.