エージェントをまるで
インフラストラクチャのように実行する。
2026年までに、すべての開発者がコーディングエージェントを実行し、2027年にはそれがエージェント群となります。本番コードと顧客データに触れるエージェントには、他のあらゆるシステムがすでに持っているものが必要です：アクセス制御、予算、および監査証跡。LeanCTXはまさにそのレイヤーです—すべての読み取り、コマンド、出力はモデルに到達する前または離れる前にそれを通過します：ローカルファースト、検証可能、オープンコア。
エージェントの動作を統制する 見る、使用し、記憶すること。
マシンごとにローカルバイナリが一つ、エージェント群のためのポリシーサーフェスが一つ。すべての読み取り、コマンド、出力はまず同じcontext engineering layerを通過します。すべては本日オープンソースコアで提供されています。
見る
PathJailはファイルアクセスを許可されたルートに限定します。シークレットはモデルがそれを見る前にマスキングされます。Prompt-injection screeningは、OWASP準拠の信頼できないコンテンツをチェックします。
使用する
シェルアローリストは実行前に危険なコマンドをブロックします。ロールごとのトークン予算が支出を制限します。MCPゲートウェイは外部ツールを単一の統制されたエントリーポイント経由でルーティングします。
記憶
セッションメモリとナレッジストアはローカルで検査可能なファイルです。何が永続化し、何が同期され、何がパージされるかをユーザーが決定します。
証明
Ed25519署名されたハッシュチェーン型台帳が、読み取り、コマンド、および保存を記録します。単一のコマンドで整合性を検証し、監査や財務のためにエクスポートできます。
コア機能に加え、 フリート制御も追加されます。
オープンソースのコアは永続的に無料で提供され、パブリックなCIゲートによって保証されています。Enterprise版は、プラットフォームおよびセキュリティチームが数百のエージェントを運用できる「plane」を追加します。
SSO & SCIM
SAML/OIDCサインオンと自動シートプロビジョニング：エージェントと人間が同じアイデンティティのPlaneの下に存在します。
フリートポリシー
中央管理されたPathJailルート、許可リスト、予算、およびペルソナポリシーをコードのようにバージョン管理し、レビューし、ロールアウトできます。
コンプライアンスエクスポート
フリート全体にわたる署名付きの集計監査レポートと保存データ：財務担当者や監査人が自身で検証できる数値を提供します。
エアギャップ展開
何も外部に出せない環境向けに、署名されたバンドルとポリシーパックによる完全オフライン運用を実現します。
透明な価格設定。「営業担当者へのお問い合わせ」という障壁はありません：プランを見る。パイロットコールでは、アーキテクチャとロールアウトについて説明します。
フレームワークをマッピングし、 検証可能な証拠を提供します。
context planeは、強制されたコントロールとオフラインで検証可能な証拠によってコンプライアンスの質問に答え、組織的な責務として何が残るかを明確にします。
EU AI Act · ISO 42001 · SOC 2
機械可読なマッピング行列、フレームワークポリシーパック、および制御ごとのカバレッジレポート：policy coverage --framework eu-ai-act — 14の対応する制御のうち11が技術的に強制され、ギャップが文書化されています。
証拠バンドル
決定論的でEd25519署名された監査エクスポートは、スタンドアロンツールでオフライン検証できます。LeanCTXのインストールも不要で、私たちへの信頼も必要ありません。ミューテーションテスト済み：バイトを一つ反転させると失敗します。
検証方法 →エージェントID
すべてのエージェントは登録され、人間が所有し、証明され、取り消し可能です。オーナーのオフボーディングは、リーバーの全フリートを単一の監査済みトランザクションで停止します—孤立したエージェントはありません。
エージェントガバナンス →オープンスタンダードに基づいています：Context Governance Benchmarkが制御を定義し、Open Context Protocolがワイヤー形式を定義します—どちらも引用可能で、ベンダーニュートラルです。
「機械から何が出ていくのか？」
何も出ません。検証できます。LeanCTXはローカルで実行され、テレメトリーはゼロです。台帳、キャッシュ、知識ストアはローカルファイルです。ネットワークの外部送信が発生するのは、お客様の設定が送信する場合のみであり、監査証跡に記録されます。
完全なセキュリティモデルを読む購入者が最初に尋ねること。
開発者がLeanCTXを使用するとき、機械から何が出ていきますか？
何も出ませんし、検証できます。LeanCTXはローカルで実行され、テレメトリーはゼロです：キャッシュ、知識ストア、署名済み監査台帳はローカルファイルです。ネットワークの外部送信が発生するのは、お客様自身の設定が送信する場合のみです。エアギャップ環境でのデプロイメントをサポートします。
LeanCTXは、財務およびコンプライアンスに対してどのように節約と活動を証明しますか？
すべての読み取り、コマンド、保存は、Ed25519署名され、ハッシュチェーン化されたローカル台帳に記録されます。lean-ctx savings verifyはエンドツーエンドの完全性を証明し、lean-ctx savings exportはコンプライアンス対応のエクスポートを生成します。
コアはオープンソースであり、ローカル使用で無料ですか？
はい。完全なローカルコンテキストレイヤーはApache-2.0であり、永久に無料で提供され、パブリックCIゲートによって強制されます。このゲートは、ローカル機能にペイウォールを設けるコミットメントをすべて失敗させます。Enterprise版には、SSO、フリートポリシー、コンプライアンスエクスポート、およびエアギャップサポートが追加されます。
LeanCTXはEU AI Act、ISO 42001、またはSOC 2に役立ちますか？
はい — 実行可能なメカニズムを備えています。機械可読なマッピング行列が、フレームワークコントロールを強制されたポリシーパックのルールおよびエンジン保証にリンクします。lean-ctx policy coverage --framework は、実際の構成に対してコントロールごとの判定を出力し、エビデンスバンドルにより監査担当者はスタンドアロンツールで記録をオフライン検証できます。義務が組織的なものである場合、マッピングはその旨を示します。これはツールサポートであり、法的な助言ではありません。