GitHub repository: BradMoonUESTC/finite-monkey-engine
Primary language: Python
Description: AI engine for smart contract audit