lean-ctx

lean-ctx: とは何であるか、どのような問題を解決し、なぜ注目を集めているのか

解決する問題

LeanCTXは、AIエージェントのトークン浪費とAPIコストを削減するために設計されたコンテキスト・エンジニアリング・レイヤーです。エージェントが同じファイルを繰り返し読み込んだり、冗長なデータをモデルに送信したりすることを防ぎ、これによりコンテキスト・ウィンドウの枯渇や費用の増大を招くのを防ぎます。また、AIエージェントが異なるチャット・セッション間でメモリや状態を失ってしまう「コールドスタート」の問題も解決します。

仕組み

LeanCTXは、AIエージェントとその環境(コード、シェル、モデル)の間に位置するローカルのRustバイナリとして動作します。主に2つのパスを通じてコンテキストを管理します:

  • Read Path: MCPサーバーとシェル・フックを使用して、エージェントが内容を確認する前に、ファイルの読み込み(mapsignaturesなど10種類のモードを使用)とシェルの出力(git、npmなどのパターンを圧縮)を圧縮します。
  • Wire Path: オプションのローカル・プロキシが、プロンプト・キャッシュに安全な状態を保ちつつ、システムプロンプトや履歴を含むモデルに送信されるすべてのリクエストを圧縮します。

18言語の構造的理解のためにTree-sitter ASTを利用し、マルチエッジ・プロパティ・グラフを使用して影響分析と検索ランキングを強化します。すべての圧縮は可逆的であり、モデルはコンテンツ・アドレス指定ストレージを介して元のバイトを取得できます。

対象者

Cursor、Claude Code、Copilot、Windsurf、GeminiなどのAIエージェントを使用しており、APIコストを下げ、コーディング・セッションを延長し、チャット間で永続的なメモリを維持したい開発者。

ハイライト

  • トークン削減: 読み込みとシェルの出力において、60–90%のトークン削減を謳っています。
  • 可逆的圧縮: 削減されたコンテンツはローカルに保存され、モデルが必要に応じて呼び戻すことができます。
  • 永続的メモリ: セッション・メモリとナレッジ・グラフにより、事実や決定事項を異なるチャット・セッション間で維持できます。
  • ゼロ設定オンボーディング: 単一の lean-ctx onboard コマンドで、ほとんどの主要なAIツールを自動検出し、設定します。
  • オブザーバビリティ: リアルタイムのトークン追跡と検証可能な節約台帳を備えたブラウザ・ダッシュボードが含まれています。
  • マルチエージェント対応: エージェント間のハンドオフと共有状態管理のためのツールを提供します。

Sources