Show HN: Causari – AIエージェントのコード編集のためのコンテンツアドレス可能な台帳

Causariは、AIエージェントによるコードベースの盲目的な編集に伴うトレーサビリティとデバッグの問題を解決する新しいオープンソースツールです。「AIエージェントのためのコンテンツアドレス可能な台帳」と説明され、各プロンプト、モデル、読み取り、書き込み、推論を不変の因果イベントとしてキャプチャします。これらのイベントは、ローカルプロキシとファイルシステムウォッチャーを介して自動的に記録され、エージェントの積極的な協力を必要としません。

主な機能は以下の通りです：

• キャプチャエンジン：OpenAIおよびAnthropic互換のLLMプロキシ（re proxy）で全てのAPIインタラクションをキャプチャし、ファイルシステムウォッチャー（re watch）でファイル変更を記録します。両者を内容マッチングで自動的に関連付け、因果フィンガープリントを生成します。
• エクスペリエンスレイヤー：完了したタスクを検証可能な「スキル」（skill）に蒸留し、署名検証と信頼レベル（記録→検証→証明）をサポートします。MCPインターフェースを介して、エージェントは行動前に過去の経験を照会し、同じ過ちを繰り返すことを防ぎます。
• 証明システム：AI使用状況を含む暗号化証明書（Causari Proof）を生成し、誰でもオフラインで検証可能です。証明の真正性と完全性を保証します。
• デバッグと監査：因果グラフ（re trace、re impact）、タイムトラベルデバッグ（re bisect）、行単位の帰属（re lens）を提供し、開発者が問題の根本原因を迅速に特定できるようにします。

さらに、Causariはガードルール（re guard）を備え、カスタムポリシーで編集パターンをチェックし、READMEにリアルタイムのステータスバッジを生成します。すべてのデータはローカルに保存され、テレメトリはなく、アカウント登録も不要です。CausariはBSL 1.1ライセンスで公開され、将来的にはApache 2.0に移行し、公開鍵基盤とコンプライアンスエクスポート機能を備えた商用版Trust Planeの提供を計画しています。

Causariの特徴は「ゼロ協力」キャプチャ方式です。エージェントに自らの履歴を報告させる必要はなく、ネットワークトラフィックとファイルシステムの変更を独立して観察し、因果連鎖を構築します。これは、コード変更のみを追跡するGitや、エージェントの自己申告に依存するLangSmithとは一線を画します。Causariの因果グラフは双方向に追跡可能で、ある行に影響を与えたすべてのイベントを遡及的に調査したり、特定の変更を戻した場合に影響を受ける下流イベントを予測したりできるため、「静かなリグレッション」を防止します。

スキル再利用の面では、Causariは検証済みの成功タスクを署名付きスキルとしてパッケージ化し、MCPを介してエージェントが行動前に積極的に照会できるようにします。スキルが繰り返し使用されるにつれて、信頼レベルが「記録済み」から「検証済み」、さらに「証明済み」へと昇格し、エージェントは時間の経過とともに効率的かつ低コストになります。このメカニズムは重複作業を削減するだけでなく、Ed25519署名によってスキルの検証可能性を保証します。

チームコラボレーションにおいて、Causariの「証明」機能は、AI使用統計を含む暗号化証明書を生成し、誰でもオフラインで検証でき、Causariサーバーへの信頼は不要です。これは監査やコンプライアンスの強力なツールとなります。また、ガードルールは最近の編集パターンを検査し、一括変更やセキュリティファイルのテストなしなどのリスクを検出し、PRレビューで自動報告します。

要するに、CausariはAIコード編集における重要なギャップを埋めます。エージェントの不可視の意図を、クエリ可能で検証可能、監査可能な因果情報に変換し、AI支援開発に前例のない透明性と信頼性をもたらします。