Percevoir
Voir ce qui compte avant d'agir.
Read moreLa définition
Qu'est-ce que LeanCTX?
LeanCTX (abréviation de Lean Context) est la couche d'ingénierie de contexte pour les agents IA : elle 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 — de sorte que tout ce qui franchit la frontière du modèle est intentionnel, compressé et prouvable.
The one-paragraph definition
LeanCTX (short for Lean Context) is the open-source context engineering layer for AI agents. One local Rust binary decides what agents read (10 read modes, 60–90% fewer tokens, ~13-token cached re-reads), remembers what they learn (persistent sessions, knowledge graph), guards what they touch (PathJail, secret redaction, budgets, injection detection), proves what they save (Ed25519-signed ledger, reproducible benchmark) and replays what they saw (git-anchored, signed context snapshots you can restore or share); an optional local proxy compresses what they send — every request’s system prompt, history and tool output, prompt-cache-safe on the wire. Compression — read-side and wire-side — is one of five subsystems, and every original stays locally retrievable. Works with 30+ AI coding tools via MCP and shell hooks; embeds in any agent via a versioned /v1 API with Python, TypeScript and Rust SDKs. Local use is free forever, enforced by CI.
It's not about tokens. It's about what matters.
Le nom
Que signifie LeanCTX ?
Lean Context. Le nom décrit le travail : un contexte économe et précis pour les agents IA au lieu d'une entrée brute et bruitée.
- LeanCTX
- la marque et le nom du projet, utilisé dans la prose et les titres.
- lean-ctx
- le binaire, le package et la commande CLI.
- Lean Context
- ce que le nom déploie, et le terme de recherche qui nous trouve.
Pas "Lean Cortex", une faute de frappe apparue dans les premières couvertures médiatiques. Si vous écrivez sur le projet, le kit média contient un texte pré-rédigé.
Les quatre fonctions
Lit moins. Se souvient plus. Prouvez-le.
Cinq choses changent au moment où LeanCTX devient votre couche d'ingénierie de contexte.
Without LeanCTX, your agent…With LeanCTX…The receipt
reads everything reads what matters
60–90% less per readforgets everything remembers across sessions
re-reads cost ~13 tokenstouches anything touches only what’s allowed
PathJail · redaction · budgetsproves nothing proves every saving
Ed25519-signed ledgercan’t revisit what it saw replays any past state
git-anchored, signed snapshotsToken savings are the receipt. Context engineering is the product.
Sous le capot
Cinq sous-systèmes, un binaire.
Architecturalement, LeanCTX est une Couche de Contexte Cognitive : cinq sous-systèmes s'exécutent lors de chaque lecture, commande et recherche. La compression en est un — l'ingénierie de contexte est le produit.
Faits clés
Les chiffres derrière l'affirmation.
Tous les chiffres sont reproductibles : lean-ctx benchmark report . les mesure sur votre propre dépôt, et chaque économie est enregistrée dans un grand livre signé Ed25519.
Le nom, le prix, le produit. the product.
The short answers to the essential questions.
LeanCTX (short for Lean Context) is the open-source context engineering layer for AI agents. One local Rust binary decides what agents read (10 read modes, 60–90% fewer tokens, ~13-token cached re-reads), remembers what they learn (persistent sessions, knowledge graph), guards what they touch (PathJail, secret redaction, budgets, injection detection), proves what they save (Ed25519-signed ledger, reproducible benchmark) and replays what they saw (git-anchored, signed context snapshots you can restore or share); an optional local proxy compresses what they send — every request’s system prompt, history and tool output, prompt-cache-safe on the wire. Compression — read-side and wire-side — is one of five subsystems, and every original stays locally retrievable. Works with 30+ AI coding tools via MCP and shell hooks; embeds in any agent via a versioned /v1 API with Python, TypeScript and Rust SDKs. Local use is free forever, enforced by CI.
Lean Context. Le nom décrit le travail : un contexte économe et précis pour les agents IA au lieu d'une entrée brute et bruitée. LeanCTX est la marque et le nom du projet ; lean-ctx est le binaire, le package et la commande CLI. Ce n'est pas "Lean Cortex" — une faute de frappe apparue dans les premières couvertures médiatiques.
Non. La compression n'est qu'un des cinq sous-systèmes. LeanCTX est une couche d'ingénierie de contexte : elle décide ce que les agents lisent, se souvient de ce qu'ils apprennent, protège ce qu'ils touchent et prouve ce qu'ils sauvegardent dans un registre signé Ed25519. L'économie de jetons est le reçu — l'ingénierie de contexte est le produit.
Oui. L'utilisation locale est gratuite pour toujours, garantie par une porte CI publique qui échoue tout commit plaçant une capacité locale derrière un mur payant. Le cœur est open source (Apache-2.0). Les plans payants ajoutent la synchronisation hébergée (Pro) et un plan d'équipe partagé (Team) en plus.
Voyez-le décider sur votre propre dépôt.on your own repo.
Installez gratuitement, exécutez lean-ctx setup et observez le premier gain mesuré en moins de dix minutes. L'utilisation locale est gratuite pour toujours, garantie par CI.