algorand-vulnerability-scanner
trailofbits/skills
Scans Algorand TEAL/PyTeal smart contracts for 11 platform-specific vulnerabilities such as rekeying, unchecked fees, group manipulation, and missing access controls, then reports findings with severity, suggested fixes, and optional Tealer automation.