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)
Trit: -1 (MINUS) Category: building-secure-contracts Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
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)
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
This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
Concepts: unification, match, segment variables, pattern
algorand-vulnerability-scanner (○) + SDF.Ch4 (+) + [balancer] (−) = 0
Skill Trit: 0 (ERGODIC - coordination)
Pattern matching extracts structure. This skill recognizes and transforms patterns.
npx skills add plurigrid/algorand-vulnerability-scanner下载完整 Skill 目录，包含 SKILL.md 及所有相关文件
Category:other