AIコーディングエージェントに、ビジネスをモデル化し、評価・修正したうえで型付きアプリケーションを生成・検証する、モデルファーストのワークフローを提供するハーネス。
yvgude/lean-ctx
AIコーディングツールが読み込むコンテキストを絞り込んで圧縮するオープンソースのRustエンジン。MCPサーバー、シェルフック、ローカル監査記録を備えます。
- スター
- 3,897
- フォーク
- 356
- 未解決の Issue
- 10
- 最終コミット
- 13 時間前
これは何?
LeanCTXはAIツール向けのコンテキストゲートウェイです。AIコーディングエージェントと、エージェントが読み込むファイル、シェル出力、ツールの実行結果の間に入り、タスクに関係する内容を選び出して、重複やノイズの多い入力を減らすことで、コンテキストウィンドウの消費を抑えます。
オープンソースのEngineは、CLI、MCPサーバー、シェルフック、任意で利用できるリクエストプロキシを通じてローカルで動作します。ファイルの読み取りモードはfull、map、signatures、diff、行範囲表示に対応し、git、npm、cargo、docker、kubectlなどのツールのシェル出力も圧縮します。Tree-sitterによる解析は27言語に対応しており、対応するパスには、設定したパス権限、コンテンツフィルター、コンテキスト予算が適用されます。
また、ローカルのセッションメモリと影響分析用のコードプロパティグラフを保持し、コンテキスト操作の記録は`lean-ctx inspect`またはブラウザダッシュボードで確認できます。Cursor、Claude Code、Codexなどの対応エージェントには、`lean-ctx wrap`でセットアップできます。
主な機能
- 01構造マップ、シグネチャ、行範囲など複数のファイル読み取りモードを備え、キャッシュ済みのファイルを再読み込みすると簡潔な参照を返します。
- 02git、npm、cargo、docker、kubectlなど、一般的なツールのシェル出力を圧縮します。
- 03Tree-sitterによる27言語の構造解析に対応します。
- 04ローカルのセッションメモリと、影響分析用のコードプロパティグラフを備えます。
- 05対応するパスに、設定したパス権限、コンテンツフィルター、コンテキスト予算を適用します。
- 06ローカルCLI、MCPサーバー、ブラウザダッシュボードからコンテキストの利用状況を確認できます。
ユースケース
- 大規模なリポジトリで作業するAIコーディングエージェントのトークン消費を抑える。
- ビルドやテストのログでコンテキストウィンドウが埋まらないように、シェルの利用が多いエージェントセッションを管理する。
- タスクや判断の記録を保持し、チャットセッションをまたいで長期プロジェクトを再開する。
- 設定したプロジェクトの範囲内に、AIツールのファイルシステムアクセスを制限する。
クイックスタート
- 1
READMEに記載されたパッケージマネージャー(npm、crates.io、AUR)のいずれかからLeanCTXをインストールします
- 2
対応しているAIツール連携を設定します
lean-ctx setup - 3
しばらく使用した後、ローカルでのトークン削減量を確認します
lean-ctx savings
使う前に知っておきたいこと
- READMEには複数ライセンスと記載されていますが、メタデータにはApache-2.0と記載されています。商用利用の前にLICENSE.mdを確認してください。
- マルチエージェントの引き継ぎ、コンテキストパッケージ、スナップショット、アドオンなど、複数の機能は実験的なResearchとしてマークされています。
- Shadow Modeによる削減量は実測値ではなくシミュレーションによる推定値であり、回答の品質を証明するものではありません。
収録されている特集
トピック
よくある質問
- lean-ctx とは?
- AIコーディングツールが読み込むコンテキストを絞り込んで圧縮するオープンソースのRustエンジン。MCPサーバー、シェルフック、ローカル監査記録を備えます。 LeanCTXはAIツール向けのコンテキストゲートウェイです。AIコーディングエージェントと、エージェントが読み込むファイル、シェル出力、ツールの実行結果の間に入り、タスクに関係する内容を選び出して、重複やノイズの多い入力を減らすことで、コンテキストウィンドウの消費を抑えます。
- lean-ctx は無料で使えますか?ライセンスは?
- lean-ctx は Apache-2.0 ライセンスのオープンソースです。商用製品で使う前にライセンス条件を確認してください。
- lean-ctx は今もメンテナンスされていますか?
- 活発にメンテナンス中。lean-ctx の最終コミットは 2026年10月24日 です。
- lean-ctx は何に使えますか?
- 大規模なリポジトリで作業するAIコーディングエージェントのトークン消費を抑える。 ビルドやテストのログでコンテキストウィンドウが埋まらないように、シェルの利用が多いエージェントセッションを管理する。 タスクや判断の記録を保持し、チャットセッションをまたいで長期プロジェクトを再開する。 設定したプロジェクトの範囲内に、AIツールのファイルシステムアクセスを制限する。
- lean-ctx のインストール方法は?
- READMEに記載されたパッケージマネージャー(npm、crates.io、AUR)のいずれかからLeanCTXをインストールします 対応しているAIツール連携を設定します: lean-ctx setup しばらく使用した後、ローカルでのトークン削減量を確認します: lean-ctx savings
- lean-ctx はどこで入手できますか?
- ソースコードとインストール手順は GitHub にあります:https://github.com/yvgude/lean-ctx
概要はプロジェクトの README をもとに AI が生成しています。GitHub の数値は毎日更新されます。
関連プロジェクト
piをベースにしたコーディングエージェント。権限確認やコンテキストの整理といった定型的な判断を小型の判定モデルに任せ、メインモデルがコードに集中できるようにします。
VS Code、JetBrains IDE、またはターミナルで動作し、500以上のモデルを利用できるオープンソースのAIコーディングエージェント。
LLMを実際のプロジェクトファイル、ツール、権限管理、検証、コンテキストに接続する、ローカルファーストかつ証拠重視のAIコーディングターミナル。
自己修正型メモリ、永続的なFTS5リサーチWiki、AIコーディングエージェント向けワークフロー機能を備えたClaude Codeプラグイン。
コードベースをスキャンしてAI向けの簡潔なコンテキストファイルを生成し、調査に使うトークンを削減するCLI。