用途:对 Solana 项目做结构化代码审查,评估安全漏洞、代码质量、计算优化与生产可用性,产出带具体修复方案的可执行报告。
主要能力:依据 code-review-rubric.md 做质量评分,对照 security-basics.md 检查漏洞模式,用 compute-optimization.md 评估优化空间;覆盖 Solana 常见风险,包括缺失签名者检查、未校验算术、PDA 混淆、租金耗尽、重初始化攻击;发现项按严重程度标注并给出含代码的修复建议;输出审查 HTML 产物,写入 .superstack/build-context.md 的安全评分、质量评分、findings 数组与 ready_for_mainnet 布尔值,且与既有内容深度合并,不覆盖前序阶段字段。
使用方式:先运行其前置遥测脚本(可配置 telemetryTier 为 anonymous 或 off);随后检查 .superstack/build-context.md 了解技术栈与架构(缺失时不阻塞,直接审查当前目录代码)。快速检查命令示例:grep -rn '.unwrap()' programs/ --include=".rs" | grep -v test;grep -rn 'AccountInfo' programs/ --include=".rs" | grep -v 'Signer|Account<';grep -rn 'checked_' programs/ --include="*.rs" | wc -l。审查深度按 P0(必须修复)、P1(上主网前修复)、P2(TVL 前修复)、P3(最佳实践)分级。若发现涉及不变量、授权、CPI 正确性、守恒或状态机证明,建议转用关联技能 qedgen 做形式化验证;测试框架可选 Trident(模糊测试)、Surfpool(主网状态测试)、LiteSVM(快速单元测试)。属于 Idea→Build→Launch 的第 2 阶段(Build),审查通过后可进入第 3 阶段部署上主网等后续技能。
限制:不阻塞于缺失的上下文文件;安全项一律标为严重,不得埋没在风格问题中;不制造误报,代码干净即如实说明;评分需诚实,不强制全 A;具体命令与评分细节以仓库内 references 与 guides 文档为准。