KDD

KDDはAIコーディングエージェントの動作を決定論的ゲートで検証するテンプレートと手法です。契約を作成し、テストをSHA256で封印、純粋なPython標準ライブラリだけを用いた12の決定論的ゲートで検証します。検証はネットワークやLLMを使わず、実装者が“完了”を判断するのを防ぐ設計。MCPサーバーとGitHub Actionsで再利用可能に提供。