AIエージェントは常にコンテキストを失う
すべてのAIコーディングエージェントは同じ根本的な課題に直面しています：関数シグネチャだけが必要なのにファイル全体を再読み込みし、95%圧縮できるはずのシェル出力をそのまま解析し、セッションが終わった瞬間にすべてを忘れてしまいます。その結果、トークンの無駄遣い、遅い応答、信頼性の低い出力になります。
Context OSとは？
Context OSはAIコンテキストのライフサイクル全体を制御します：ファイル読み取りとシェル出力の圧縮から、インテリジェントルーティングと永続メモリを経て、検証済み出力とツール、チーム、モデル間のシームレスな配信まで。
仕組み
すべてのコンテキストリクエストはLeanCTXのグラフ駆動型決定的パイプラインを通過します。システムはインテントを分類し、Multi-Edge BFSとRRF Fusionで関連性をスコアリングし、モード固有のアルゴリズムで圧縮し、配信前に出力を検証します。すべてのステップは再現可能で監査可能です。
入力
MCPまたはHTTP経由で、あらゆるAIツールからファイル読み取り、シェルコマンド、検索クエリを受信します。
インテント
タスクタイプを分類し、各リクエストに最適な処理戦略を選択します。
関連性
AST分析、エントロピースコアリング、imports・calls・type references・test linksにまたがるMulti-Edgeグラフトラバーサルを使用して、コンテンツをタスク関連情報のみにフィルタリングします。
圧縮
モード固有のアルゴリズム、キャッシング、デルタエンコーディングによるインテリジェント圧縮を適用します。
検証
ハルシネーションパス、壊れたインポート、シークレット漏洩、ポリシー違反を出力からチェックします。
配信
MCP、HTTP API、またはSDK経由で、圧縮・検証済みのコンテキストをAIツールに返します。
1つのツール、3つの接続方法
lean-ctxは各エージェントに最適な統合モードを自動選択します。CLI-RedirectはMCPスキーマのオーバーヘッドを完全に排除し、Hybridは両方の長所を組み合わせ、Full MCPは最大のツールアクセスを提供します。
lean-ctx read src/auth.ts -m map MCP cache + CLI shell/search 58 tools via MCP + lazy tool set 常時稼働のコンテキストランタイム
lean-ctx daemon は Unix Domain Socket 経由のバックグラウンドサービスとして動作します。永続的なセッション状態、即時キャッシュヒット、setup 時の自動起動を提供します。更新時、daemon は新しい binary で自動的に再起動します。古い PID/socket ファイルはプロアクティブにクリーンアップされ、すべての接続にはタイムアウトが組み込まれています — 手動管理不要。
24以上のエージェント、自動設定
lean-ctxはインストール済みのエージェントを検出し、それぞれに最適な統合モードを設定。shellアクセスのあるエージェントにはCLI-Redirect、混合環境にはHybrid、プロトコルのみのエージェントにはFull MCP。
| Agent | CLI-Redirect | Hybrid | MCP | Setup |
|---|---|---|---|---|
| Cursor | ● | – | – | lean-ctx init --agent cursor |
| Claude Code | – | ● | – | lean-ctx init --agent claude |
| Codex | – | ● | – | lean-ctx init --agent codex |
| OpenCode | – | ● | – | lean-ctx init --agent opencode |
| Gemini CLI | ● | – | – | lean-ctx init --agent gemini |
| CRUSH | – | ● | – | lean-ctx init --agent crush |
| Hermes | – | ● | – | lean-ctx init --agent hermes |
| Pi | – | ● | – | lean-ctx init --agent pi |
| Qoder | – | ● | – | lean-ctx init --agent qoder |
| Windsurf | – | ● | – | lean-ctx init --agent windsurf |
| Copilot | – | ● | – | lean-ctx init --agent copilot |
| Amp | – | ● | – | lean-ctx init --agent amp |
| Cline | – | ● | – | lean-ctx init --agent cline |
| Roo Code | – | ● | – | lean-ctx init --agent roo |
| Kiro | – | ● | – | lean-ctx init --agent kiro |
| Antigravity | – | ● | – | lean-ctx init --agent antigravity |
| Amazon Q | – | ● | – | lean-ctx init --agent amazonq |
| Qwen | – | ● | – | lean-ctx init --agent qwen |
| Trae | – | ● | – | lean-ctx init --agent trae |
| Verdent | – | ● | – | lean-ctx init --agent verdent |
| JetBrains | – | – | ● | lean-ctx init --agent jetbrains |
| QoderWork | – | – | ● | lean-ctx init --agent qoderwork |
| VS Code | – | – | ● | lean-ctx init --agent vscode |
| Zed | – | – | ● | lean-ctx init --agent zed |
| Neovim | – | – | ● | lean-ctx init --agent neovim |
| Emacs | – | – | ● | lean-ctx init --agent emacs |
| Sublime Text | – | – | ● | lean-ctx init --agent sublime |
| Aider | – | – | ● | lean-ctx init --agent aider |
| Continue | – | – | ● | lean-ctx init --agent continue |
数学的に基盤づけられたコンテキスト選択
すべてのコンテキスト要素には測定可能なポテンシャル値があります。LeanCTXはContext Field Theory（CFT）を使用して、どのファイル、関数、知識ファクトがAIの注意ウィンドウに属するか — そしてどれが属さないかを計算します。
コンテキストポテンシャル Φ
Phi関数はすべてのコンテキスト要素をリアルタイムでスコアリングします。関連性、陳腐性、グラフ中心性、履歴、コスト、冗長性が単一のランキングスコアに統合されます。
コンテキストハンドル
コンテキスト要素へのスパースで遅延的な参照。ファイル全体を読み込む代わりに、エージェントは@F1や@K3のような軽量ハンドルで作業し、必要に応じて展開します — コンテンツが実際に必要になるまでトークンを節約します。
コンテキストオーバーレイ
コンテキスト状態への可逆的な変更。重要なファイルを固定、ノイズを抑制、優先度を上げる、または要素を陳腐としてマーク — すべてソースを変更せずに。オーバーレイはスタック可能で元に戻せます。
コンテキストコンパイラ
トークン予算とタスク記述が与えられると、コンパイラは冗長性ペナルティ付きのΦランク付き貪欲選択を使用して、コンテキスト要素の最適なサブセットを選択します。結果は最小限の検証済みコンテキストパッケージです。
コンテキストポリシーエンジン
コンテキスト動作を制御する宣言的ルール。TDD中にテストファイルを自動固定、vendorディレクトリを抑制、ファイルタイプごとにトークン制限を強制、または陳腐なアイテムをマーク — すべてプロジェクトごとに設定可能。
完全なCLI & MCPアクセス
すべてのCFT操作はCLIコマンドとMCPツールで利用可能です。ターミナルでlean-ctx control、lean-ctx plan、lean-ctx compileを、またはMCPでctx_control、ctx_plan、ctx_compileを使用できます。
Context Packages
蓄積されたプロジェクトコンテキストをパッケージ化、共有、再利用。ナレッジ、グラフデータ、注意点、セッション発見をポータブルなバンドルとしてエクスポート。セッション開始時にパッケージを自動ロードして即座にドメイン専門知識を獲得。
9つの柱。1つのランタイム。
コードとAIの間のすべて、処理済み。
スマートI/O
決定的な読み取り、シェル圧縮、検索 - トークン99%削減
インテリジェンス
インテントルーティング、モード選択、適応パイプライン
メモリ
セッション、プロジェクト知識、グラフ、ハンドオフ
ガバナンス
ロール、バジェット、SLO、ワークフローゲート、ポリシー
検証
Lean4形式証明、Claim-based Verification、Quality Levels 0-4
インテグレーション
MCP、HTTP、SDK、24以上のIDE、クラウド、チームサーバー
Shared Sessions
ワークスペースとチャネルベースのエージェント間セッション共有
Context Bus
SSE経由のコンテキスト変更に対するリアルタイムイベントストリーム
SDK & API
外部統合向けTypeScript SDKとREST API
動作を確認
LeanCTXはAIツールとコードベースの間に位置します。すべてのファイル読み取り、シェルコマンド、検索クエリがContext Kernelを通過し、モデルに届く前に圧縮、キャッシュ、検証されます。
すべての出力に証拠が付随
LeanCTXはすべてのセッションの証拠アーティファクトを生成します：どのファイルが読み取られたか、何が圧縮されたか、どのチェックが通過したか、トークンがどのように使用されたか。これによりAI作業は監査可能、再現可能、信頼に値するものになります。
Ready to get started?
Install lean-ctx in 60 seconds, auto-configure your editor, and start saving tokens immediately. No cloud, no config files to write manually.
See how to get started