attestation

CLI コーディングエージェント（Claude Code、Codex、Gemini CLI など 40 以上）向けの決定論的オーケストレーター。調整ループにモデルが含まれないため、タスクごとの git ワークツリーでの並列実行はバイト単位で完全に一致して再現されます。署名付きの系統と、レビュー担当者がオフラインで確認できるオプトインの HMAC 監査チェーンを備えています。クラスターモード、エアギャップデプロイに対応。ステータス：ベータ。https://bernstein.run

Android 向けのハードウェアベースの構成証明および侵入検知アプリ。QR コードを使用した別の Android デバイスとのローカル検証と、アラートメールをサポートするオプションの定期的なサーバーベースの検証を提供します。ハードウェアで保護されたキーと構成証明サポートを基礎とし、ソフトウェアチェックのためにアプリへ信頼を連鎖させます。

ソフトウェアサプライチェーンの証明、SBOM、VEX、SARIF、QA レポートなどのための SDLC エビデンスストアおよびポリシーエンジン。

エッジ、クラウド、IoTにおける信頼性をブートストラップおよび維持するためのCNCFプロジェクト

ソフトウェアサプライチェーンのリスク管理のためのプラグイン可能なフレームワーク Witness。ソフトウェア成果物の来歴を自動化、正規化、検証します。