概要
AI生成コードの品質問題「AIスロップ」を解決するため、仕様・テスト・検証を統合し、独立したAIによる敵対的レビューを強制するClaude Code用ワークフロープラグインの解説。
詳細内容
AIによるコード生成が「表面上は正しいが隠れた欠陥を持つ（AIスロップ）」という課題に対し、SDD（仕様駆動）、TDD（テスト駆動）、VDD（検証駆動）を融合した開発手法「VSDD」をClaude Code上で実現するプラグインを紹介しています。このシステムは、Builder（実装者）とコンテキストを共有しないAdversary（敵対的レビュアー）という役割分離を構造的に強制します。
主な機能：
1. **6フェーズ・パイプライン**: 仕様定義から収束判定まで、後戻りを含む厳格なフローを管理。
2. **ゲートチェックフック**: フェーズ外の書き込みを物理的にブロックし、AIの先走りを抑制。
3. **Chainlinkビード**: 仕様・テスト・実装・証明をIDで紐付け、完全なトレーサビリティを確保。
4. **形式的ハードニング**: 言語に応じた検証ツール（Kani, Fast-check等）を用いて論理的な正当性を証明。
これにより、AIに「動くコード」ではなく「仕様を満たし、検証されたコード」を書かせるための強力なハーネス（制御基盤）を提供しています。