GitHub repository: krypt0-baby/SherlockChain
Description: SherlockChain is a streamlined AI analysis framework for Solidity, Vyper and Plutus contracts