Les agents IA perdent constamment le contexte
Chaque agent IA de programmation fait face au même défi fondamental : ils relisent des fichiers entiers quand ils n'ont besoin que d'une signature de fonction, ils analysent des sorties shell brutes qui pourraient être compressées de 95%, et ils oublient tout dès que la session se termine. Résultat : des tokens gaspillés, des réponses lentes et des sorties peu fiables.
Qu'est-ce qu'un Context OS ?
Un Context OS contrôle l'ensemble du cycle de vie du contexte IA : de la lecture des fichiers et la compression des sorties shell, en passant par le routage intelligent et la mémoire persistante, jusqu'aux sorties vérifiées et la livraison fluide entre outils, équipes et modèles.
Comment ça marche
Chaque requête de contexte traverse le pipeline déterministe de LeanCTX alimenté par des graphes. Le système classifie l'intention, évalue la pertinence avec Multi-Edge BFS et RRF Fusion, compresse avec des algorithmes spécifiques au mode et vérifie les sorties avant livraison. Chaque étape est reproductible et auditable.
Entrée
Reçoit les lectures de fichiers, commandes shell et requêtes de recherche depuis n'importe quel outil IA via MCP ou HTTP.
Intention
Classifie le type de tâche et sélectionne la stratégie de traitement optimale pour chaque requête.
Pertinence
Filtre le contenu pour ne conserver que les informations pertinentes à la tâche en utilisant l'analyse AST, le scoring d'entropie et le parcours Multi-Edge du Graph à travers imports, appels, références de type et liens de tests.
Compression
Applique une compression intelligente avec des algorithmes spécifiques au mode, du cache et de l'encodage delta.
Vérification
Vérifie les sorties pour détecter les chemins hallucinés, imports cassés, fuites de secrets et violations de politiques.
Livraison
Retourne le contexte compressé et vérifié à l'outil IA via MCP, HTTP API ou SDK.
Un outil, trois façons de se connecter
lean-ctx sélectionne automatiquement le mode d'intégration optimal pour chaque agent. CLI-Redirect élimine entièrement le surcoût du schéma MCP, Hybrid combine le meilleur des deux, et Full MCP offre un accès maximal aux outils.
lean-ctx read src/auth.ts -m map MCP cache + CLI shell/search 58 tools via MCP + lazy tool set Runtime de contexte permanent
Le daemon lean-ctx fonctionne en arrière-plan via Unix Domain Socket. Il offre un état de session persistant, des hits de cache instantanés et un démarrage automatique lors du setup. Lors d'une mise à jour, le daemon redémarre automatiquement avec le nouveau binaire. Les fichiers PID/socket obsolètes sont nettoyés de manière proactive, et toutes les connexions ont des timeouts intégrés — aucune gestion manuelle nécessaire.
29+ agents, configurés automatiquement
lean-ctx détecte les agents installés et configure le mode d'intégration optimal pour chacun. CLI-Redirect pour les agents avec accès shell, Hybrid pour les environnements mixtes, Full MCP pour les agents protocole uniquement.
| 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 |
Sélection de contexte fondée mathématiquement
Chaque élément de contexte possède une valeur potentielle mesurable. LeanCTX utilise la Context Field Theory (CFT) pour calculer quels fichiers, fonctions et faits de connaissance appartiennent à la fenêtre d'attention de votre IA — et lesquels non.
Potentiel de contexte Φ
La fonction Phi évalue chaque élément de contexte en temps réel. Pertinence, obsolescence, centralité du graphe, historique, coût en tokens et redondance sont combinés en un score de classement unique.
Handles de contexte
Références légères et différées vers les éléments de contexte. Au lieu de charger des fichiers entiers, les agents travaillent avec des handles légers comme @F1 ou @K3 qui s'étendent à la demande — économisant des tokens jusqu'à ce que le contenu soit réellement nécessaire.
Overlays de contexte
Mutations réversibles sur l'état du contexte. Épingler des fichiers critiques, supprimer le bruit, augmenter la priorité ou marquer des éléments comme obsolètes — le tout sans modifier la source. Les overlays s'empilent et peuvent être annulés.
Compilateur de contexte
Étant donné un budget de tokens et une description de tâche, le compilateur sélectionne le sous-ensemble optimal d'éléments de contexte par sélection gloutonne classée par Φ avec pénalités de redondance. Le résultat est un paquet de contexte minimal et vérifié.
Moteur de politiques de contexte
Règles déclaratives gouvernant le comportement du contexte. Épingler automatiquement les fichiers de test en TDD, supprimer les répertoires vendor, appliquer des limites de tokens par type de fichier ou marquer les éléments obsolètes — le tout configurable par projet.
Accès complet CLI & MCP
Chaque opération CFT est disponible via des commandes CLI et des outils MCP. Utilisez lean-ctx control, lean-ctx plan, lean-ctx compile depuis le terminal, ou ctx_control, ctx_plan, ctx_compile via MCP.
Context Packages
Empaquetez, partagez et réutilisez le contexte accumulé d'un projet. Exportez les connaissances, les données de graphe, les pièges et les découvertes de session sous forme de bundles portables. Chargez automatiquement les packages au démarrage de session pour une expertise de domaine instantanée.
Neuf piliers. Un runtime.
Tout entre votre code et l'IA, géré.
E/S Intelligentes
Lectures déterministes, compression shell, recherche - 99% de tokens en moins
Intelligence
Routage d'intentions, sélection de mode, pipeline adaptatif
Mémoire
Sessions, connaissances projet, graphes, transferts
Gouvernance
Rôles, budgets, SLOs, portes de workflow, politiques
Vérification
Preuves formelles Lean4, vérification basée sur les claims, Quality Levels 0-4
Intégrations
MCP, HTTP, SDK, 29+ IDEs, cloud, serveur d'équipe
Shared Sessions
Partage de sessions entre agents basé sur les espaces de travail et canaux
Context Bus
Flux d'événements en temps réel pour les changements de contexte via SSE
SDK & API
SDK TypeScript et API REST pour les intégrations externes
Voyez-le en action
LeanCTX se place entre votre outil IA et votre code source. Chaque lecture de fichier, commande shell et requête de recherche passe par le Context Kernel - compressé, mis en cache et vérifié avant d'atteindre le modèle.
Chaque sortie porte une preuve
LeanCTX génère des artefacts de preuve pour chaque session : quels fichiers ont été lus, ce qui a été compressé, quelles vérifications ont réussi et comment les tokens ont été dépensés. Cela rend le travail IA auditable, reproductible et fiable.
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