KI-Agenten verlieren ständig Kontext
Jeder KI-Coding-Agent kämpft mit demselben Problem: Er liest ganze Dateien neu, obwohl nur eine Funktionssignatur benötigt wird. Er parst rohe Shell-Ausgaben, die um 95% komprimiert werden könnten. Und er vergisst alles, sobald eine Session endet. Das Ergebnis: verschwendete Tokens, langsame Antworten und unzuverlässige Ergebnisse.
Was ist ein Context OS?
Ein Context OS ist die Infrastrukturschicht zwischen deinen KI-Tools und deiner Codebasis. Es kontrolliert, welche Dateien gelesen werden, wie Shell-Ausgaben komprimiert werden, welches Wissen über Sessions hinweg gespeichert wird und ob die Ergebnisse Qualitätsstandards erfüllen. Stell es dir wie ein Betriebssystem vor, aber für KI-Kontext statt für Hardware-Ressourcen.
So funktioniert es
Jede Kontextanfrage durchläuft LeanCTX' graph-gestützte deterministische Pipeline. Das System klassifiziert den Intent, bewertet Relevanz mit Multi-Edge BFS und RRF-Fusion, komprimiert mit modusspezifischen Algorithmen und verifiziert Ausgaben vor der Auslieferung. Jeder Schritt ist reproduzierbar und überprüfbar.
Eingabe
Empfängt Datei-Lesevorgänge, Shell-Befehle und Suchanfragen von jedem KI-Tool via MCP oder HTTP.
Intent
Klassifiziert den Aufgabentyp und wählt die optimale Verarbeitungsstrategie für jede Anfrage.
Relevanz
Filtert Inhalte auf aufgabenrelevante Informationen mittels AST-Analyse, Entropie-Bewertung und Multi-Edge-Graph-Traversierung über Imports, Aufrufe, Typreferenzen und Testverknüpfungen.
Komprimierung
Wendet intelligente Kompression mit modusspezifischen Algorithmen, Caching und Delta-Kodierung an.
Verifizierung
Prüft Ausgaben auf halluzinierte Pfade, defekte Imports, Secret-Leaks und Policy-Verstöße.
Auslieferung
Liefert komprimierten, verifizierten Kontext an das KI-Tool via MCP, HTTP-API oder SDK zurück.
Ein Tool, drei Verbindungswege
lean-ctx wählt automatisch den optimalen Integrationsmodus für jeden Agenten. CLI-Redirect eliminiert den MCP-Schema-Overhead vollständig, Hybrid kombiniert das Beste aus beiden, und Full MCP bietet maximalen Toolzugriff.
lean-ctx read src/auth.ts -m map MCP cache + CLI shell/search 58 tools via MCP + lazy tool set Always-On Context-Runtime
Der lean-ctx Daemon läuft als Hintergrunddienst über Unix Domain Socket. Er bietet persistenten Session-Zustand, sofortige Cache-Treffer und automatischen Start beim Setup. Bei Updates startet der Daemon automatisch mit der neuen Binary neu. Verwaiste PID-/Socket-Dateien werden proaktiv bereinigt, und alle Verbindungen haben eingebaute Timeouts — keine manuelle Verwaltung nötig.
29+ Agenten, automatisch konfiguriert
lean-ctx erkennt installierte Agenten und konfiguriert den optimalen Integrationsmodus für jeden. CLI-Redirect für Agenten mit Shell-Zugriff, Hybrid für gemischte Umgebungen, Full MCP für reine Protokoll-Agenten.
| 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 |
Mathematisch fundierte Kontextauswahl
Jedes Kontextelement hat einen messbaren Potenzialwert. LeanCTX nutzt die Context Field Theory (CFT), um zu berechnen, welche Dateien, Funktionen und Wissensfakten in das Aufmerksamkeitsfenster deiner KI gehören — und welche nicht.
Kontextpotenzial Φ
Die Phi-Funktion bewertet jedes Kontextelement in Echtzeit. Relevanz, Aktualität, Graph-Zentralität, Nutzungshistorie, Token-Kosten und Redundanz werden zu einem einzigen Rangwert kombiniert.
Kontext-Handles
Sparsame, verzögerte Referenzen auf Kontextelemente. Statt ganze Dateien zu laden, arbeiten Agenten mit leichtgewichtigen Handles wie @F1 oder @K3, die bei Bedarf expandiert werden — Tokens werden gespart, bis der Inhalt tatsächlich benötigt wird.
Kontext-Overlays
Reversible Mutationen auf Kontextzuständen. Kritische Dateien fixieren, Rauschen unterdrücken, Prioritäten erhöhen oder Elemente als veraltet markieren — alles ohne die Quelle zu verändern. Overlays sind stapelbar und rückgängig machbar.
Kontext-Compiler
Bei gegebenem Token-Budget und Aufgabenbeschreibung wählt der Compiler die optimale Teilmenge von Kontextelementen mittels Φ-basierter Greedy-Selektion mit Redundanzstrafen. Das Ergebnis ist ein minimales, verifiziertes Kontextpaket.
Kontext-Policy-Engine
Deklarative Regeln zur Steuerung des Kontextverhaltens. Testdateien während TDD automatisch fixieren, Vendor-Verzeichnisse unterdrücken, Token-Limits pro Dateityp erzwingen oder veraltete Elemente markieren — alles pro Projekt konfigurierbar.
Voller CLI- & MCP-Zugang
Jede CFT-Operation ist über CLI-Befehle und MCP-Tools verfügbar. Nutze lean-ctx control, lean-ctx plan, lean-ctx compile im Terminal oder ctx_control, ctx_plan, ctx_compile via MCP.
Context Packages
Angesammelten Projektkontext paketieren, teilen und wiederverwenden. Wissen, Graph-Daten, Fallstricke und Session-Erkenntnisse als portable Bundles exportieren. Pakete beim Session-Start automatisch laden für sofortige Domänenexpertise.
Neun Säulen. Eine Runtime.
Alles zwischen deinem Code und der KI, erledigt.
Smart I/O
Deterministische Lesevorgänge, Shell-Komprimierung, Suche - 99 % weniger Token
Intelligenz
Intent-Routing, Modusauswahl, adaptive Pipeline
Gedächtnis
Sitzungen, Projektwissen, Graphen, Übergaben
Governance
Rollen, Budgets, SLOs, Workflow-Gates, Richtlinien
Verifizierung
Lean4 formale Beweise, Claim-basierte Verifizierung, Quality Levels 0-4
Integrationen
MCP, HTTP, SDK, 29+ IDEs, Cloud, Team Server
Shared Sessions
Workspace- & kanalbasierte Sitzungsfreigabe zwischen Agenten
Context Bus
Echtzeit-Ereignisstrom für Kontextänderungen via SSE
SDK & API
TypeScript-SDK und REST-API für externe Integrationen
In Aktion erleben
LeanCTX sitzt zwischen deinem KI-Tool und deiner Codebasis. Jeder Dateizugriff, Shell-Befehl und jede Suchanfrage fließt durch das Context OS - komprimiert, gecacht und verifiziert, bevor es das Modell erreicht.
Jede Ausgabe trägt einen Beweis
LeanCTX generiert Proof-Artefakte für jede Session: welche Dateien gelesen wurden, was komprimiert wurde, welche Prüfungen bestanden wurden und wie Tokens ausgegeben wurden. Das macht KI-Arbeit auditierbar, reproduzierbar und vertrauenswürdig.
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