╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ╚══════════════╝ ╚══════════╝ ╚══════════════╝ ╚══════════╝ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ file file file file read cache send tok tok tok tok tok tok file file file file read cache send tok tok tok tok tok tok ╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> ctx_read >>>>>>>>>>>> │ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ ┌─────────────┐ │ >>>>>>>>>>>>>>> compress >>>>>>>>>>>> │ ┌──────────┐ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ │ 100K tokens │ =========>│ >>> AST >>> cache >>> signal >>> │ =========> │ ~5K tok │ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ └─────────────┘ │ >>>>>>>>>>>>>>> filter >>>>>>>>>>>> │ └──────────┘ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ │ >>>>>>>>>>>>>>> dedupe >>>>>>>>>>>> │ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ╔══════════════╗ ╰──────────────────────────────────────────╯ ╔══════════╗ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ║ raw input ║ ─ ─ ─ ─ ─ ─ ─ ─ LeanCTX ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ║ output ║ ╚══════════════╝ ╚══════════╝ ╚══════════════╝ ╚══════════╝ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ ┌──┐ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │▓▓│ │▓▓│ │▓▓│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ ───> │▓▓│ │▓▓│ │▓▓│ ───> │░░│ │░░│ │░░│ │░░│ │░░│ │░░│ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ └──┘ file file file file read cache send tok tok tok tok tok tok file file file file read cache send tok tok tok tok tok tok

Kit de presse

Écrire sur
LeanCTX?

Tout ce qui suit est prêt à être copié et canonique : du texte en trois longueurs, une fiche technique provenant de la même source unique de vérité que ce site web, et la seule correction dont nous nous soucions.

Le nom

Lean Context. Pas Lean Cortex.

LeanCTX est l'abréviation de Lean Context : un contexte économe et précis pour les agents IA au lieu d'une entrée brute et bruyante. En prose, utilisez LeanCTX; pour le binaire, le paquet et la commande, utilisez lean-ctx.

Les premières couvertures ont occasionnellement mal orthographié le projet sous forme de "Lean Cortex". Si vous le repérez quelque part, nous apprécions une correction. Et si vous n'êtes pas sûr d'une affirmation, chaque nombre ci-dessous est reproductible à partir du dépôt open-source.

Boilerplate

Prêt à être copié, trois longueurs.

Utilisez ceux-ci tels quels ou comme base. Ils sont maintenus identiques aux définitions sur la page d'accueil, /what-is-leanctx et dans le README du dépôt.

~50 mots

LeanCTX (abréviation de Lean Context) est la couche d'ingénierie de contexte open-source qui permet aux développeurs de contrôler ce que leur IA peut voir. Un seul binaire Rust local décide ce que les agents lisent, compresse ce qu'ils envoient, se souvient de ce qu'ils apprennent, protège ce qu'ils touchent et prouve ce qu'ils sauvegardent dans un registre signé. 60–90% de jetons en moins, plus de 30 outils IA, zéro télémétrie.

~100 mots

LeanCTX (abréviation de Lean Context) est la couche d'ingénierie de contexte open-source pour les agents IA. Un seul binaire Rust local décide ce que les agents lisent (10 modes de lecture, relectures mises en cache de ~13 jetons), compresse ce qu'ils envoient (un proxy local optionnel, sûr pour le cache des invites), se souvient de ce qu'ils apprennent au fil des sessions, protège ce qu'ils touchent (PathJail, rédaction de secrets, budgets) et prouve ce qu'ils sauvegardent dans un registre signé Ed25519. Il fonctionne avec plus de 30 outils IA de codage (Cursor, Claude Code, OpenAI Codex, GitHub Copilot) via MCP et des hooks shell, et s'intègre à tout agent via une API /v1 versionnée. Des économies de jetons de 60–90% sont la preuve ; l'ingénierie de contexte est le produit. L'utilisation locale est gratuite pour toujours, garantie par CI.

~200 mots

LeanCTX (abréviation de Lean Context) est la couche d'ingénierie de contexte open-source pour les agents IA. Un binaire Rust local décide ce que les agents lisent (10 modes de lecture, 60–90% moins de jetons, re-lectures mises en cache de ~13 jetons), se souvient de ce qu'ils apprennent (sessions persistantes, graphe de connaissances), protège ce qu'ils touchent (PathJail, rédaction de secrets, budgets, détection d'injection), prouve ce qu'ils sauvegardent (grand livre signé Ed25519, référence reproductible) et rejoue ce qu'ils ont vu (instantanés de contexte signés et ancrés dans git que vous pouvez restaurer ou partager) ; un proxy local optionnel compresse ce qu'ils envoient — le prompt système, l'historique et la sortie des outils de chaque requête, sécurisé par rapport au cache du prompt sur le fil. La compression — côté lecture et côté fil — est l'un des cinq sous-systèmes, et chaque original reste localement récupérable. Fonctionne avec plus de 30 outils de codage IA via MCP et des hooks shell ; s'intègre dans tout agent via une API /v1 versionnée avec des SDK Python, TypeScript et Rust. L'utilisation locale est gratuite pour toujours, garantie par CI. Le projet est écrit en Rust, analyse 26 langages via tree-sitter AST et fournit plus de 95 motifs de compression shell qui réduisent la sortie des commandes de 88–99%. Les économies sont enregistrées dans un registre Ed25519 signé et chaîné par hachage sur la machine de l'utilisateur et peuvent être reproduites avec le benchmark intégré (rapport de benchmark lean-ctx). LeanCTX est conçu pour une utilisation locale avec zéro télémétrie : le cache, la mémoire et le registre sont des fichiers locaux, et rien ne quitte la machine sauf si l'utilisateur le configure. Le nom se développe en "Lean Context". Le projet est occasionnellement mal orthographié "Lean Cortex" dans la couverture, ce que l'équipe corrige activement.

Fiche technique

Les chiffres, directement de la source.

Source des mêmes données SSOT qui rendent ce site web. Chaque métrique est reproductible avec le rapport de benchmark lean-ctx sur n'importe quel dépôt.

Name LeanCTX (abréviation de Lean Context) ; binaire/CLI : lean-ctx

Claim Contrôlez ce que votre IA peut voir.

Catégorie Couche d'ingénierie de contexte pour les agents IA

Licence Apache-2.0 (open source ; utilisation locale gratuite pour toujours, forcé par CI)

Technologie Un binaire Rust ; tree-sitter AST pour 26 langages

Économies de jetons 60–90% par lecture ; ~13 jetons par relecture mise en cache ; 88–99% sur la sortie shell

Surface Catalogue de 81 outils (~surface par défaut lean de ~13 outils ; ensemble complet à la demande via ctx_call / ctx_expand), 10 modes de lecture, 95+ motifs shell

Intégrations Plus de 30 outils IA auto-détectés (Cursor, Claude Code, Codex, Copilot, Windsurf, Cline…)

Intégration API HTTP versionnée /v1 (OpenAPI + /v1/capabilities), passerelle ctx_tools, SDK Python et TypeScript (GA, kit de conformité 14-check), SDK Rust, runtime d'extension WASM, plugins

Sécurité Local-first, zéro télémétrie, PathJail, allowlist shell, redaction des secrets, filtrage des injections aligné OWASP

Preuve Grand livre d'économies chaîné par hachage et signé Ed25519 ; benchmark reproductible

Governance Packs de politiques contextuelles (baseline / strict-redaction / finance-eu / healthcare / open-source), registre d'agents de première classe, journal d'audit organisationnel, couverture des politiques lean-ctx

Compliance Evidence Bundle v1 + vérification hors ligne leanctx-verify ; rapports EU AI Act / ISO 42001 / SOC 2 ; Benchmark de Gouvernance Contextuelle (CGB)

FinOps Export finops lean-ctx (FOCUS 1.2 / CloudZero / Vantage), métriques Datadog & Prometheus /metrics, net des injections (net_tokens_saved)

Links leanctx.com · github.com/yvgude/lean-ctx

Assets et contacts

Logos, captures d'écran, et un humain.

Logo et wordmark SVG et PNG, variantes sombres et claires, directement depuis le dépôt. github.com/yvgude/lean-ctx → assets/ Captures d'écran et démos Le terminal héros de la page d'accueil et la page métriques en direct sont prêts à l'emploi pour la presse. leanctx.com/metrics Arrière-plan détaillé Ce qu'est LeanCTX, comment fonctionne l'architecture et comment chaque chiffre est mesuré. benchmark & méthodologie Contact presse Un humain répond. Délai rapide, chiffres reproductibles, pas de relecture de brouillon demandée. hello@leanctx.com

Des questions pour un article ?

Nous répondons rapidement, fournissons des chiffres reproductibles et ne demandons jamais de révision de votre brouillon.

E-mail à hello@leanctx.com Qu'est-ce que LeanCTX ?

Écrire surLeanCTX?