solana-auditor は何をしますか？

Solana プログラムの実践的な監査ワークフロー: スコープ -> 静的 -> 手動 -> 動的 -> レポート、さらに実行可能な PoC と重大度別の所見レポートを提供します。

スコープと補完関係

このスキルは監査ワークフロー、ツールのオーケストレーション、PoC、およびレポート作成を担当します。Solana AI Kit の他のセキュリティスキルを補完し、重複しません。

形式検証（QEDGen / solana-skills: Kani/Lean 証明）-> 所見に機械検証可能な不変条件の証明が必要な場合、QEDGen を参照してください。ここで証明を再実装しないでください。
セキュア開発ガイダンス（Trail of Bits / ghostsecurity）-> 一般的なガイダンスです。このスキルは運用面（何を実行するか、バグをどう証明するか）に留まります。
修正 / プログラム変更 -> references/delegation.md を介して solana-dev スキルに委任します。

所見ごとの証拠。 すべての報告された問題には、具体的な場所、再現手順（PoC または正確なトレース）、影響ステートメント、および重大度が必要です。確定と疑わしいを区別してください。
プログラムが「安全」または「セキュア」であると決して主張しないでください。 監査は定義されたスコープと時間枠におけるリスクを低減するものであり、安全性を認定するものではありません。スコープと制限事項を明記してください。
固定の重大度スケール（Critical / High / Medium / Low / Info）を references/report-template.md から使用してください。アドホックな重大度を発明しないでください。
委任してください。 修正やプログラム変更は solana-dev へ。不変条件の形式証明は QEDGen へ。このスキルは発見、証明、報告を行います。パッチは適用しません。
タスクごとに1つのリーフ。 ルーティングテーブルが指すリーフだけを正確にロードしてください。リファレンスを一括でロードしないでください。

ユーザーが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`	所見を重大度別のレポートにまとめます。