algorand-vulnerability-scanner - Algorand smart contract vulnerability scanner
Scans Algorand smart contracts for 11 common security vulnerabilities in TEAL and PyTeal code.
Tags
Updated: 2026-09-20Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Search codebase for smart contract files
- Analyze code for vulnerability patterns
- Report findings with severity levels
- Provide code remediation guidance
- Execute Tealer static analysis
Inputs
- TEAL source files
- PyTeal source files
Outputs
- Vulnerability scan results
- Remediation recommendations
Requirements
- Tealer static analyzer