algorand-vulnerability-scanner
Scans Algorand TEAL and PyTeal smart contracts for security vulnerabilities and provides remediation code.
Install
npx skills add https://github.com/trailofbits/skills --skill algorand-vulnerability-scannerStats
| Total installs | 1,180 |
| Weekly installs | 1.2K |
| GitHub stars | 4.0K |
| First seen | Jan 19, 2026 |
| Source | @trailofbits/skills |
Summary
- Scans TEAL and PyTeal files for critical patterns like missing RekeyTo validation, unchecked CloseRemainderTo/AssetCloseTo fields, and group transaction manipulation
- Integrates with Tealer (Trail of Bits static analyzer) for automated detection and provides manual vulnerability sweep workflows
- Covers stateful applications and smart signatures with severity-based reporting (critical, high, medium) and actionable remediation code
- Includes transaction field validation matrix, atomic group analysis, and access control review checklists for comprehensive pre-audit assessment
Tags
Related skills
| Skill | Installs | vs algorand-vulnerability-scanner |
|---|---|---|
| asc-signing-setup | 1,255 | +75 |
| ossfuzz | 1,171 | -9 |
| testing-handbook-generator | 1,189 | +9 |
| secure-code-guardian | 1,112 | -68 |
| multiplayer-game | 1,102 | -78 |
FAQ
- How many installs does algorand-vulnerability-scanner have?
- algorand-vulnerability-scanner has 1,180 total installs and 1.2K installs this week.
- Where is algorand-vulnerability-scanner hosted?
- algorand-vulnerability-scanner is published by @trailofbits/skills at https://github.com/trailofbits/skills.
- How many GitHub stars does algorand-vulnerability-scanner have?
- algorand-vulnerability-scanner has 4.0K GitHub stars.
- When was algorand-vulnerability-scanner first indexed?
- OrangeBot.AI first indexed algorand-vulnerability-scanner on Jan 19, 2026.
- How do I install algorand-vulnerability-scanner?
- Run: npx skills add https://github.com/trailofbits/skills --skill algorand-vulnerability-scanner