solana-auditor 是做什么的？

一个实操型 Solana 程序审计工作流：范围界定 → 静态分析 → 手动审查 → 动态测试 → 报告生成，并附带可运行的 PoC 和严重性分级发现报告。

范围与互补

此技能负责审计工作流、工具编排、PoC 和报告生成。它与 Solana AI Kit 中的其他安全技能互补，而非重复：

形式化验证（QEDGen / solana-skills：Kani/Lean 证明）→ 当发现需要机器检查的不变量证明时，指向 QEDGen；此处不重新实现证明。
安全开发指导（Trail of Bits / ghostsecurity）→ 一般性指导；此技能保持操作性（运行什么，如何证明漏洞）。
修复 / 程序变更→ 委托给 solana-dev 技能（通过 references/delegation.md）。

每个发现的证据。 报告的每个问题都需要具体位置、重现步骤（PoC 或精确追踪）、影响说明和严重性。区分已确认和疑似。
绝不要声称程序“安全”或“可靠”。 审计在定义的范围和时间框内降低风险，而非证明安全。需说明范围和限制。
使用固定的严重性分级（严重 / 高 / 中 / 低 / 信息）来自 references/report-template.md。不要自行发明严重性等级。
委托。 修复和程序变更 → solana-dev。不变量的形式化证明 → QEDGen。此技能负责发现、证明和报告，不负责修补。
每个任务一个叶子文件。 仅加载路由表指向的叶子文件，不要批量加载引用。

用户询问关于 X	加载此叶子文件
审计流程 / 生命周期 / 从何开始	`references/methodology.md`
漏洞类别 / 分类 / 寻找什么	`references/vuln-classes.md`
静态工具（cargo-audit / clippy / deny / geiger）	`references/static-analysis.md`
模糊测试 / litesvm / 动态 / PoC	`references/dynamic-analysis.md`
Anchor 约束 / 账户检查	`references/anchor-checks.md`
严重性 / 发现 / 报告	`references/report-template.md`
工具版本	`references/sdk-versions.md`
修复 / 程序变更 / 形式化证明	`references/delegation.md`

references/methodology.md - 5 阶段生命周期、范围界定、时间框设定、交付物。
references/vuln-classes.md - Solana/Anchor 漏洞分类：是什么 / 为什么 / 如何检测 / 修复指北。
references/static-analysis.md - 运行并分类 cargo-audit、clippy、cargo-deny、cargo-geiger。
references/dynamic-analysis.md - litesvm PoC 框架、模糊测试（trident / honggfuzz）、不变量测试。
references/anchor-checks.md - Anchor 账户约束，#[account(...)]，has_one，seeds/bump。
references/report-template.md - 严重性分级 + 发现报告结构。
references/sdk-versions.md - 固定工具版本（上次验证：2026-06）。
references/delegation.md - 交接给 solana-dev（修复）和 QEDGen（证明）。

模板位于 templates/：audit-checklist.md，litesvm-harness.rs，fuzz-target.rs，ci-audit.yml，report.md。

智能体	使用场景
`agents/solana-auditor.md`	驱动实操审计生命周期：范围界定、静态分析、手动审查、动态测试、PoC、原始发现（opus）。
`agents/audit-report-writer.md`	将原始发现转化为严重性分级的交付报告（sonnet）。

命令	功能
`commands/audit-program.md`	对指定程序路径执行完整 5 阶段审计（范围界定、静态分析、手动审查、动态测试、报告）。
`commands/static-scan.md`	运行 cargo-audit + clippy + cargo-deny + cargo-geiger 并分类。
`commands/write-report.md`	将发现汇总为严重性分级报告。