rokabytedev/proofrun

proofrun とは？

このスキルは、AIコーディングエージェント（Claude Code、Cursor、Codexなど）が実行した処理や変更に対して、自動的に証拠（proof）を生成・管理する方法を提供します。エージェントが「何をしたか」という主張だけでなく、具体的な証拠（ログ、テスト結果、スナップショット、実行トレースなど）を残すことで、作業の信頼性とトレーサビリティを大幅に向上させます。このスキルは、エージェントがタスクを実行した後、自動的に証拠ファイル（例：proof_*.md）を作成し、その証拠を構造化して保存します。開発者は後からこれらの証拠を確認することで、エージェントの動作を検証したり、チームメンバーと共有したり、CI/CDパイプラインに組み込むことができます。結果として、AIエージェントの出力に対する盲目的な信頼ではなく、検証可能な事実に基づいた開発プロセスを実現します。