エージェントをまるで
インフラストラクチャのように実行する。
2026年までに、すべての開発者がコーディングエージェントを実行するようになります。そして2027年にはそれがフリートとなります。本番コードや顧客データに触れるエージェントには、ダッシュボードではなく真のガバナンスが必要です。Enterprise ティアは完全な制御を提供します：当社のクラウドまたは独自のインフラストラクチャにデプロイできます。
エージェントの動作を統制する 見る、使用し、記憶すること。
マシンごとにローカルバイナリが一つ、エージェント群のためのポリシーサーフェスが一つ。すべての読み取り、コマンド、出力はまず同じcontext engineering layerを通過します。すべては本日オープンソースコアで提供されています。
見る
PathJailはファイルアクセスを許可されたルートに限定します。シークレットはモデルがそれを見る前にマスキングされます。Prompt-injection screeningは、OWASP準拠の信頼できないコンテンツをチェックします。
使用する
シェルアローリストは実行前に危険なコマンドをブロックします。ロールごとのトークン予算が支出を制限します。MCPゲートウェイは外部ツールを単一の統制されたエントリーポイント経由でルーティングします。
記憶
セッションメモリとナレッジストアはローカルで検査可能なファイルです。何が永続化し、何が同期され、何がパージされるかをユーザーが決定します。
証明
Ed25519署名されたハッシュチェーン型台帳が、読み取り、コマンド、および保存を記録します。単一のコマンドで整合性を検証し、監査や財務のためにエクスポートできます。
我々の言葉を信じないでください— 動作を確認する。
本物のゲートウェイインスタンスがdemo.leanctx.comで稼働しています：実際のオープンソースモデル推論、実際のワイヤー圧縮、実際の個人別メーターリング—合成ID、測定された数値。公開されているデモ認証情報でサインインし、すべてを検査してください。
ゲートウェイコンソール
組織ビュー：支出、検証済み節約額、回避コストのベースライン、および個人×プロジェクト×モデル×プロバイダーごとのライブ内訳。
コンソールを開く →個人 /meビュー
各エンジニアが見るもの：自分自身の使用量、節約額、およびモデル—他人のものではありません。共有ゲストキーでサインインします。
/meを開く →価値レポート
財務部門が受け取る印刷可能なROIアーティファクト—実際の支出、検証済み節約額、および反事実的なベースラインで、ライブ台帳から15分ごとに再生成されます。
レポートを開く →コンソールと/meビューのアクセス トークンはdemo.leanctx.comで公開されています—管理者APIは読み取り専用であり、推論エンドポイントはパブリックインスタンスでは公開されていません。表示されるすべての数値は、未変更のプロダクトパスを介した実際の要求からメーターリングされています—モックデータではありません。
コア機能に加え、 フリート制御も追加されます。
オープンソースのコアは永続的に無料で提供され、パブリックなCIゲートによって保証されています。Enterprise版は、プラットフォームおよびセキュリティチームが数百のエージェントを運用できる「plane」を追加します。
SSO & SCIM
SAML/OIDCサインオンと自動シートプロビジョニング：エージェントと人間が同じアイデンティティのPlaneの下に存在します。
フリートポリシー
中央管理されたPathJailルート、許可リスト、予算、およびペルソナポリシーをコードのようにバージョン管理し、レビューし、ロールアウトできます。
コンプライアンスエクスポート
フリート全体にわたる署名付きの集計監査レポートと保存データ：財務担当者や監査人が自身で検証できる数値を提供します。
クラウドまたはセルフホスト型
お客様の選択です：管理されたクラウドを使用するか、独自の Azure、オンプレミス、またはエアギャップ環境に lean-ctx をデプロイします。機能は同じで、インフラストラクチャが異なります。
オープンソースコアは永久に無料です。Enterprise はガバナンス、コンプライアンス、および専用サポートを追加します。全ティアの比較を見る →
公平な価格設定、 アラインされたインセンティブ。
サプライズ請求書や隠れたアップセルはありません。3つのコンポーネントがあり、それぞれオプションまたはお客様の状況に合わせて交渉可能です。
プラットフォーム料金
ガバナンス、サポート、アップデート、SLAを網羅するシート単位のライセンス。組織規模に合わせて交渉可能 — お見積もりは営業にご連絡ください。
ガイド付きオンボーディング
2〜4週間の固定価格パッケージ：デプロイメント、IdP統合、ポリシー設定、管理者トレーニング、開発者ワークショップを含む。都度払い、継続課金ではありません。
Success Fee (optional)
私たちが暗号学的に証明する節約額の一定割合をお支払いいただきます。最低額はプラットフォーム料金、上限は実際の請求額削減額の50%です。すべての数値はオフラインで検証できます。
フレームワークをマッピングし、 検証可能な証拠を提供します。
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 は、実際の構成に対してコントロールごとの判定を出力し、エビデンスバンドルにより監査担当者はスタンドアロンツールで記録をオフライン検証できます。義務が組織的なものである場合、マッピングはその旨を示します。これはツールサポートであり、法的な助言ではありません。