LeanCTX für GitHub Copilot

Copilots Agent-Modus,
ohne die Kontext-Steuer.

LeanCTX senkt den Token-Verbrauch von GitHub Copilots Agent-Modus um 60–90% über MCP: komprimierte AST-bewusste Reads, ~13-Token-Cache-Re-Reads und 88–99% kleinere Terminal-Ausgabe. Premium-Requests reichen weiter, weil jeder Signal statt roher Dumps trägt. Setup: lean-ctx setup, automatisch erkannt.

Das Problem

Wo GitHub Copilot deine Tokens verbrennt.

Premium-Requests sind schnell aufgebraucht

Agent-Modus-Sessions verbrauchen Premium-Requests, während sich das Modell durch rohe Datei-Dumps und volle Terminal-Logs wühlt.

Workspace-Kontext ist oberflächlich

Copilot sieht Fragmente. Ohne strukturelle Schicht liest es Dateien neu, um Verständnis wieder aufzubauen, das es schon hatte.

Jede IDE wird separat konfiguriert

VS Code, JetBrains, CLI: Jede Integration ist ihr eigenes Setup. Eine Kontext-Schicht sollte einmal konfigurieren und alle bedienen.

Die Integration

So klinkt sich LeanCTX in GitHub Copilot.

01

MCP-Server für Copilot

lean-ctx setup registriert den MCP-Server dort, wo Copilot ihn sucht (VS Code und kompatible IDEs). Der Agent-Modus greift ctx_read, ctx_search und ctx_shell auf.

02

Copilot-Instructions installiert

Setup schreibt den Instructions-Block, damit der Agent-Modus komprimierte Tools ohne manuelles Prompten bevorzugt.

03

Eine Schicht für jeden Editor

Dasselbe lokale Binary bedient VS Code, JetBrains und 28 weitere Tools. Ein Cache, ein Ledger, eine Konfiguration.

Setup

Ein Befehl. Auto-erkannt.

# LeanCTX installieren
$ curl -fsSL https://leanctx.com/install.sh | sh
# Copilot-fähige IDEs automatisch erkennen und MCP konfigurieren
$ lean-ctx setup
# Verdrahtung prüfen
$ lean-ctx doctor
# ansehen, was der Agent-Modus gespart hat
$ lean-ctx gain
Was sich ändert

Drei Momente, die du bemerkst.

Premium-Requests, die weiter reichen

Jeder Request trägt 60–90% weniger totes Gewicht, sodass mehrstufige Agent-Tasks im Budget bleiben, statt am Kontext zu scheitern.

Die Repo-Map statt des Repos

ctx_read im Map-Modus reicht Copilot die Struktur (Exports, Signaturen, Abhängigkeiten) für einen Bruchteil eines vollen Reads.

Eine Zahl fürs Team

Das signierte Ledger aggregiert Einsparungen über die Maschine jedes Entwicklers, exportierbar, wenn die Finanzabteilung fragt, was sich geändert hat.

FAQ

GitHub Copilot + LeanCTX, beantwortet.

Wie senke ich den Token- oder Premium-Request-Verbrauch von GitHub Copilot?

Installiere LeanCTX und führe lean-ctx setup aus. Copilots Agent-Modus erhält MCP-Tools, die Reads um 60–90% komprimieren und Re-Reads bei ~13 Tokens cachen — jeder Premium-Request leistet mehr.

Welche Editoren deckt das ab?

VS Code und JetBrains-IDEs mit MCP-fähigem Copilot, plus 28 weitere KI-Tools, alle bedient vom selben lokalen Binary nach einem Setup-Befehl.

Verlässt mein Code über LeanCTX meine Maschine?

Nein. LeanCTX ist local-first, ohne Telemetrie. Es komprimiert lokal und reicht das Ergebnis an Copilot weiter. Kein zusätzlicher Egress, niemals.

Nutzt du das bei der Arbeit?

Team gibt deiner ganzen Organisation eine gemeinsame, auditierte Kontext-Ebene, und das Ledger weist die Einsparungen gegenüber der Finanzabteilung nach. Lokale Nutzung bleibt für immer kostenlos, per CI erzwungen.