GitHub repository: rvrsh3ll/karl
Primary language: Python
Description: Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril