01Validates access control and missing field requirements
02Detects 11 common Algorand smart contract vulnerabilities
038 GitHub stars
04Provides industry-standard security auditing patterns
05Supports TEAL and PyTeal project structures
06Identifies rekeying attacks and unchecked transaction fees