Show HN: Cruxible – AIエージェントのためのオープンソースの統制された真理層
Cruxible は、AIエージェントと人間チームのために型付けされた検証可能なハード状態を提供するオープンソースの状態層です。Terraform 風の設定でドメインをモデル化し、決定論的なワークフローと提案／レビューのガバナンスを通じて書き込みルールを強制します。RAG やベクターメモリとは異なり、再現可能なクエリ、マルチホップのトラバーサル、および陳腐性チェックを可能にし、エージェントが説明責任のある真実に基づいて意思決定できるようにします。任意のエージェントフレームワークと連携可能で、サプライチェーンシナリオのデモが付属しています。
Cruxible は、AIエージェント向けの「ハード状態層」を提供するオープンソースツールです。複数のエージェントと人間チームが共同で操作できるように設計されています。核となるアイデアは、Terraform 風の設定でドメイン知識をモデル化することです。エンティティと関係のタイプ、決定論的ワークフロー、書き込みルールを定義し、ランタイムがそれらを強制します。これにより、状態の一貫性と監査可能性が保証されます。
状態は決定論的なプロセスで入力されます。実際のシステムからのエクスポートファイルやテーブルはアーティファクトとして固定され、提案に1行ずつマッチングされます。モデルの判断は、固定されたドメインロジックで判断できない場合にのみ注入されます。書き込みは統制されており、統制された関係は、宣言された証拠を必要とし、設定した信頼ルールに従って自動解決されるか、人間のレビューに回される提案フローを通じてのみ書き込むことができます。受け入れられた主張はすべて帰属とレシートが付与され、その派生過程が記録されます。
Cruxible のコアは決定論的であり、大規模言語モデル（LLM）や隠れたAPI呼び出しには依存しません。任意のエージェントフレームワークと連携し、既存のシステムを指して、調整する価値のある主張だけを状態に取り込みます。読み取り操作は再現可能です。同じクエリと状態は同じ結果を生成し、派生過程を説明するレシートが付属します。クエリはマルチホップトラバーサル、レビューステータス、および引用元に対する陳腐性チェックをサポートしており、これらは従来の検索手法では実現できません。
Markdown、RAG、ベクターメモリとは異なり、Cruxible は永続的な真実の状態をテキストから分離します。Markdown や検索はドラフトや一度きりの質問には適していますが、再発し共有され、間違えるとコストの高い主張には、読み取りのたびに再構築が必要になります。Cruxible はコンテキストを設計する代わりにドメインをモデル化することで保証を提供します。真実の永続的な部分は、型付けされ統制された状態となり、再構築ではなく読み取り可能になります。
プロジェクトにはサプライチェーンシナリオのデモが含まれています。設定ファイルは、サプライヤー、コンポーネント、インシデントなどのエンティティとそれらの関係を定義します。例えば、インシデントがサプライヤーに影響を与える関係は統制されており、提案フローを通じてのみ書き込まれ、人間または信頼されたエージェントによるレビューと承認が必要です。承認後、クエリはインシデントの影響範囲（影響を受けたサプライヤーが供給するコンポーネント）を計算できます。クエリ結果にはレシートが添付され、決定論的な導出経路が記録されます。
Cruxible のインストールと使用は簡単です。pip でインストール後、約3分のサンドボックスデモを実行でき、トークンを消費しません。また、既存の知識ベース（CLAUDE.md ファイルや Obsidian ボールトなど）を状態に変換するツールも提供されています。プロジェクトは完全にオープンソースで、GitHub でコードが公開されています。