「オープンソース」タグの記事

エージェントの「完了」を信じないことにした - verify.shゲート、prove-it

AIコーディングエージェントはテストを回していないのに「テスト通過」と報告する。嘘ではなく構造の問題だ。報告を検査に変えるオープンソースのゲートprove-itを作りながら学んだこと - そして自作の5行フックが静かに失敗する4つの形。