yvgude/lean-ctx : guide éditorial fondé sur le README
Un guide fondé sur le README, les métadonnées et la licence de yvgude/lean-ctx.
Périmètre du projet
Le README décrit yvgude/lean-ctx comme « Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents , one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. ». Cette page reste limitée aux faits vérifiables dans le dépôt. Les étoiles, forks et badges indiquent une attention, pas une preuve de qualité. Sous « Control what your AI can see. », la source indique : LeanCTX , Context Engineering Layer for AI Coding Agents. Cela fixe un périmètre déclaré, pas un test en production.
Cas d'usage adaptés
La section « Why developers use LeanCTX » aide à vérifier si le projet répond au besoin : Lower API costs , 60,90% fewer tokens on reads and shell output, cached re-reads cost 13 tokens. Si ce besoin ne correspond pas au vôtre, la popularité ne suffit pas. Les noms, commandes et composants sont conservés pour permettre une comparaison directe avec la source primaire. Le README fournit aussi ce point vérifiable : Longer useful coding sessions , less context waste = more room for actual code reasoning. Il peut guider le premier test, sans remplacer une vérification dans l'environnement prévu.
Fonctionnement
Le fonctionnement est réparti dans des sections comme « Control what your AI can see. ». La source fournit notamment : | Problem | With LeanCTX | |---------|-------------| | Repeated file reads: 2000 tokens each | Cached re-reads: 13 tokens | | Raw git status: 800 tokens | Compressed: 120 tokens | | Every turn re-sends the whole history | Proxy compresses. Les détails absents sur l'architecture, les performances ou la sécurité ne sont pas inventés. Avant une mise en service, vérifiez l'arborescence, la configuration et l'historique des releases.
Installation et premier lancement
Commencez l'installation avec l'entrée documentée dans le README. La commande vérifiable est : # 1) Install (pick one) curl -fsSL https://leanctx.com/install.sh | sh # universal (no Rust needed) brew tap yvgude/lean-ctx && brew install lean-ctx # macOS / Linux npm install -g lean-ctx-bin # Node.js cargo install lean-ctx # Rust pi install npm:pi-lean-ctx # Pi Coding Agent # 2) One-command setup for your agent lean-ctx wrap cursor # or: wrap claude / wrap codex / wrap vscode # Done. Savings appea Si aucune commande n'est fournie, cette page n'en fabrique pas. Consultez « Why developers use LeanCTX » pour les dépendances, les ports par défaut et l'initialisation du premier lancement.