Die offene Kontext-Runtime für KI-Agenten.
Die herstellerneutrale, lokal-erste Infrastrukturschicht, die steuert, was deine KI sieht, sich merkt und worauf sie sich konzentriert. Ein Binary. Null Konfiguration. 29+ KI-Tools. Open Source.
curl -fsSL https://leanctx.com/install.sh | sh AI-Tools senden Rohdaten ohne Kontextbewusstsein.
Wenn deine AI eine Datei liest, sendet sie den gesamten Inhalt - Kommentare, Whitespace, Boilerplate - ohne zu verstehen, was wichtig ist. lean-ctx filtert, komprimiert und priorisiert basierend auf dem, was deine AI tatsächlich versucht zu tun.
"Der Engpass beim AI-Coding ist nicht mehr der Prompt. Es ist die Context-Pipeline."
Vier Fähigkeiten. Eine Runtime.
LeanCTX sitzt zwischen deiner KI und deiner Codebase. Es übernimmt den gesamten Kontext-Lebenszyklus — vom Datei-Lesen bis zur Modell-Auslieferung.
Komprimieren
10 Lese-Modi mit Tree-sitter AST-Parsing für 18 Sprachen. Entfernt Rauschen, behält Struktur. Gecachte Re-Reads kosten ~13 Tokens.
Erinnern
Session-übergreifendes Gedächtnis, Knowledge Graphs und Kontext-Checkpoints. Deine KI erinnert sich an Entscheidungen, Erkenntnisse und Dateibeziehungen.
Steuern
Profile, Rollen, Budgets und SLOs. Kontrolliere, was jeder Agent sieht, wie viel er ausgibt und wann er gedrosselt wird.
Verifizieren
82 Lean4-Theoreme beweisen Policy-, Kompressions- und Terse-Engine-Invarianten. Claim-basierte Verifikation mit Quality Levels 0-4. Kein stiller Datenverlust.
So sieht es in deinem Terminal aus.
lean-ctx arbeitet leise im Hintergrund. Wenn deine KI eine Datei liest, komprimiert es transparent die Ausgabe. Hier ein echter ctx_read-Aufruf und das Metriken-Dashboard.
Funktioniert mit jedem grossen AI-Coding-Tool.
Cursor, Claude Code, GitHub Copilot, Windsurf, Pi, Crush, Codex — lean-ctx integriert sich mit allen. Kein Vendor Lock-in, keine Konfiguration pro Tool. Einmal installieren, überall profitieren.
Frequently Asked Questions
What is LeanCTX?
LeanCTX ist das Context OS für KI-Entwicklung. Es sitzt zwischen deinem KI-Coding-Tool und deiner Codebasis, komprimiert Datei-Reads um bis zu 99%, persistiert Erinnerungen über Sessions hinweg und verifiziert alle Ausgaben vor der Auslieferung. Es funktioniert mit 29+ KI-Tools, darunter Cursor, Claude Code und GitHub Copilot.
Wie viel spart LeanCTX an Token-Kosten?
Aktive Entwickler sparen $30-100+ pro Monat an KI-API-Kosten. Datei-Reads werden um 60-99% komprimiert, Shell-Output um 60-95%, und gecachte Re-Reads kosten nur 13 Tokens. Nutze lean-ctx gain, um deine persönlichen Einsparungen zu messen.
Funktioniert LeanCTX mit Cursor / Claude Code / Copilot?
Ja. LeanCTX unterstützt 29+ KI-Coding-Tools von Haus aus. Führe lean-ctx setup aus – es erkennt und konfiguriert automatisch alle installierten Editoren. Es unterstützt drei Integrationsmodi: CLI-Redirect, Hybrid und Full MCP.
Ist LeanCTX kostenlos und Open Source?
Ja. LeanCTX ist vollständig Open Source unter MIT + Apache-2.0 Doppellizenz. Keine Telemetrie, alles läuft lokal. Das einzelne Rust-Binary ist über npm, cargo oder Direktdownload verfügbar.
What is Context OS?
Context OS ist die Architektur, die den gesamten Lebenszyklus von AI-Kontext verwaltet. Es hat neun Säulen: Smart I/O (Komprimierung), Intelligence (Routing), Memory (Persistenz), Governance (Kontrolle), Verification (Nachweise), Integrations (29+ Tools), Shared Sessions, Context Bus und SDK. Es ersetzt Ad-hoc Prompt Engineering durch eine systematische Runtime.
Gib deiner AI den Kontext, den sie verdient.
Der Engpass beim AI-Coding ist nicht das Modell - es ist der Kontext. lean-ctx formt Informationen, bevor sie das LLM erreichen. Eine Rust-Binary. Keine Cloud. Kein Account. Apache-2.0-lizenziert.