用途：该技能用于审计 Algorand 智能合约（TEAL/PyTeal），扫描 11 类常见漏洞，涵盖重密钥（rekeying）攻击、未检查的交易费用、缺失字段校验以及访问控制问题。
主要能力：围绕上述漏洞类别对合约代码进行模式识别与检查，帮助审计人员定位潜在风险点。
使用方式：资料未提供具体安装命令或调用步骤，仅说明这是 Trail of Bits 的安全技能，详细用法与示例需参考原始仓库 https://github.com/trailofbits/skills。
适用场景：Algorand 项目（TEAL/PyTeal）的安全审计。
相关技能：audit-context-building、codeql、semgrep、variant-analysis。
限制：资料未说明支持的版本、平台、收费或效果；具体使用步骤与示例暂未提供，需查阅原始仓库。