Algorand Vulnerability Scanner Skill
SkillSecurityScans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TEAL/PyTeal). (project, gitignored)
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the Algorand Vulnerability Scanner Skill skill
What this skill tells your AI
The instructions your AI receives, as published by plurigrid/asi in skills/algorand-vulnerability-scanner/SKILL.md and read by ahel’s review.
Trit: -1 (MINUS) Category: building-secure-contracts Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
Description
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TEAL/PyTeal). (project, gitignored)
When to Use
This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.
See: https://github.com/trailofbits/skills
Related Skills
- audit-context-building
- codeql
- semgrep
- variant-analysis
SDF Interleaving
This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
Primary Chapter: 4. Pattern Matching
Concepts: unification, match, segment variables, pattern
GF(3) Balanced Triad
algorand-vulnerability-scanner (○) + SDF.Ch4 (+) + [balancer] (−) = 0
Skill Trit: 0 (ERGODIC - coordination)
Connection Pattern
Pattern matching extracts structure. This skill recognizes and transforms patterns.
Signals
- GitHub stars
- 63
- Forks
- 12
- Last commit
- Jul 2026
Advanced
- Catalog kind
- skill
- Gateway key
algorand-vulnerability-scanner- Source
- github.com/plurigrid/asi