Antigravityでlean-ctxを使ってトークンを94%削減する方法

Antigravity2というかAntigravity IDEになって基本モデルが3.5flashになってから google one ai proでもflash使い放題！というわけにはいかなくなりましたね。

そこでlean-ctxをつかってトークン節約して使用料を増やしまくろうって魂胆です。ついでに4.6opusも使える幅が増えるので効率的に開発できるんじゃないかな？とおもいます。

lean-ctxとは？

lean-ctx（リーン・コンテキスト）とは、大規模言語モデル（LLM）やプログラミングの文脈において、「コンテキスト（文脈情報）のサイズや内容を必要最小限に削ぎ落とし、効率化された状態」を指す言葉、あるいはそれを実現するための技術・手法のことです。

英語の「Lean（無駄がない、引き締まった）」と「Context（文脈・状況）」を組み合わせた造語であり、主にシステム開発やAIプロンプトエンジニアリングの分野で注目されています。

なぜlean-ctxが重要なのか？

LLMなどのAIモデルに指示を出す際、前提条件や過去の会話履歴（コンテキスト）を大量に詰め込みすぎると、以下のようなデメリットが生じます。

  • 処理コスト（トークン数）の増加による課金額の跳ね上がり
  • レスポンス速度（レイテンシ）の低下
  • AIが重要な情報を見失う「迷子（Lost in the Middle）」現象の発生

lean-ctxの考え方に従い、不要なログや重複するメタデータを排除して「洗練されたコンテキスト」を維持することで、AIの処理精度を最大化しつつ、コストと速度を最適化することが可能になります。

つまりはいろいろやってトークン節約するし、効率化できるよってはなし。MCP経由で使えるのでAntigravityでも使えるよんって感じです。(最近のこういうのはclaude codeやcodex対応のバッカだし、windowsは置いてきぼりなので、windows+antigravityで使えるのはよいですね。)

導入方法

lean-ctx を Antigravity に導入する方法

導入完了までの全体手順

lean-ctx のインストール

   curl -fsSL https://leanctx.com/install.sh | sh

または node.js入ってるなら

npm install -g lean-ctx

Antigravity 向け初期設定

   lean-ctx init --agent antigravity

必須セットアップ実行

   lean-ctx setup

診断確認

   lean-ctx doctor

（data dir、MCP config、SKILL.md が ✓ になるまで確認）

Proxy 自動起動（任意・推奨）

   lean-ctx proxy enable

MCP setting

C:\Users\username.gemini\config\mcp_config.jsonに以下を書き込む

{
    "mcpServers": {
        "lean-ctx": {
            "command": "lean-ctx"
        }
    }
}

Antigravityのチャットコーナー上部の…メニュー「Additional Option」→「MCP Servers」→「Manage MCP Severs」→「View raw config」からも編集化。保存後refreshする。

Antigravity を完全に再起動

MCPサーバーが正しく読み込まれるため必須。

動作確認

  • Antigravity内でファイル読み込み・コード生成・コマンド実行などの作業を行う
  • 作業後、PowerShellで以下を実行
lean-ctx gain

↓なんか節約してくれてるみたいです。

補足

  • lean-ctx gain で「No commands recorded yet.」が出る場合は、Antigravity内で実際にMCPツールが使われるまで待つ。（LLM側が使用する判断をした場合lean-ctxのMCPをつかうか？って聞いてくる）
  • Shellコマンドを手動で記録したい場合は config.toml で shell_allowlist = [] に設定。
  • LSP関連エラーは無視可能（基本機能には影響なし）。

関連記事

AI

Posted by 音質派