╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> 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

Entreprise · Le plan de contexte

Exécutez des agents comme
une infrastructure.

En 2026, chaque développeur utilisera des agents de codage ; en 2027, ce seront des flottes. Les agents qui accèdent au code de production et aux données clients ont besoin de ce que tout autre système possède déjà : un contrôle d'accès, des budgets et une piste d'audit. LeanCTX est cette couche — chaque lecture, commande et sortie la traverse avant d'atteindre ou de quitter le modèle : local-first, vérifiable, open core.

Réserver un pilote View the live demo Lire le modèle de sécurité

Le Plan de Contexte

Gérez ce que vos agents voient, utilisent et se souviennent.

Un binaire local par machine, une surface de politique pour la flotte. Chaque lecture, commande et sortie passe d'abord par la même couche d'ingénierie de contexte. Tout ce qui est en dessous est livré dans le cœur open-source aujourd'hui.

Voir

PathJail confine l'accès aux fichiers aux racines autorisées. Les secrets sont redigés avant que tout modèle ne les voie. Le filtrage d'injection de prompt vérifie le contenu non fiable, conforme à OWASP.

Utiliser

La liste blanche du shell bloque les commandes dangereuses avant l'exécution. Les budgets de jetons par rôle limitent les dépenses. La passerelle MCP route les outils externes via un point d'entrée unique et géré.

Se souvenir

La mémoire de session et le magasin de connaissances sont des fichiers locaux et inspectables. Vous décidez ce qui persiste, ce qui se synchronise et ce qui est purgé.

Prouver

Un registre chiffré Ed25519, chaîné par hachage, enregistrant les lectures, commandes et économies. Vérifiez l'intégrité en une seule commande ; exportez pour l'audit et la finance.

Live demo

Don't take our word for it — watch it run.

A real gateway instance is running at demo.leanctx.com: real open-source-model inference, real wire compression, real per-person metering — synthetic identities, measured numbers. Sign in with the published demo credentials and inspect everything.

Gateway console

The org view: spend, verified savings, the avoided-cost baseline and a live breakdown by person × project × model × provider.

Open the console →

Personal /me view

What each engineer sees: their own usage, savings and models — nobody else's. Sign in with the shared guest key.

Open /me →

Value report

The printable ROI artifact finance gets — actual spend, verified savings and the counterfactual baseline, regenerated every 15 minutes from the live ledger.

Open the report →

Access tokens for the console and the /me view are published on demo.leanctx.com — the admin API is read-only, and inference endpoints are not exposed on the public instance. Every number you see is metered from real requests through the unmodified product path — no mock data.

Plan d'entreprise

Tout dans le cœur, plus le contrôle de flotte.

Le cœur open-source reste gratuit pour toujours, garanti par une passerelle CI publique. Enterprise ajoute le plan qui permet aux équipes plateforme et sécurité de faire fonctionner des centaines d'agents.

SSO & SCIM

Connexion SAML/OIDC et provisionnement automatisé des sièges : agents et humains sous le même plan d'identité.

Politiques de flotte

Des racines PathJail, des listes blanches, des budgets et des politiques de persona gérés centralement, versionnés, révisés et déployés comme du code.

Exports de conformité

Rapports d'audit et d'économies signés et agrégés sur l'ensemble de la flotte : des chiffres que les finances et les auditeurs peuvent vérifier eux-mêmes.

Déploiement air-gapped

Fonctionnement entièrement hors ligne avec des bundles et des packs de politiques signés, pour les environnements où rien ne doit jamais quitter.

Tarification transparente, pas de passerelle « contacter le service commercial » pour les chiffres : voir les plans. L'appel pilote couvre l'architecture et le déploiement.

Réglementé ? Audité ?

Cadres cartographiés, preuves vérifiables.

Le plan de contexte répond aux questions de conformité avec des contrôles appliqués et des preuves vérifiables hors ligne — et est explicite sur ce qui reste une obligation organisationnelle.

EU AI Act · ISO 42001 · SOC 2

Matrices de mappage lisibles par machine, packs de politiques de cadre et rapports de couverture par contrôle : policy coverage --framework eu-ai-act — 11 des 14 contrôles cartographiés appliqués techniquement, les lacunes documentées.

Conformité et preuves →

Bundles de preuves

Exportations d'audit déterministes et signées Ed25519 que votre auditeur vérifie hors ligne avec un outil autonome — aucune installation LeanCTX, pas de confiance en nous. Testé par mutation : un octet basculé échoue.

Comment fonctionne la vérification →

Identités des agents

Chaque agent est enregistré, détenu par un humain, attesté et révocable. Le départ d'un propriétaire suspend l'ensemble de sa flotte en une seule transaction auditée — pas d'agents orphelins.

Gouvernance des agents →

Construit sur des normes ouvertes : le Context Governance Benchmark définit les contrôles, l'Open Context Protocol définit le format de transmission — tous deux citables, tous deux neutres vis-à-vis des fournisseurs.

"Qu'est-ce qui quitte la machine ?"

Rien. vérifiez-le. LeanCTX s'exécute localement avec zéro télémétrie. Le grand livre, le cache et le magasin de connaissances sont des fichiers locaux. L'exfiltration réseau ne se produit que là où votre configuration l'envoie, et la piste d'audit l'enregistre.

Lire le modèle de sécurité complet

FAQ

Ce que les acheteurs demandent en premier.

Qu'est-ce qui quitte la machine lorsque les développeurs utilisent LeanCTX ?

Rien, et vous pouvez le vérifier. LeanCTX s'exécute localement avec zéro télémétrie : le cache, le magasin de connaissances et le grand livre d'audit signé sont des fichiers locaux. L'exfiltration réseau ne se produit que là où votre propre configuration l'envoie. Le déploiement air-gapped est pris en charge.

Comment LeanCTX prouve les économies et l'activité à la finance et à la conformité ?

Chaque lecture, commande et sauvegarde atterrit dans un grand livre local Ed25519-signé et chaîné par hachage. lean-ctx savings verify prove l'intégrité de bout en bout, et lean-ctx savings export produit une exportation prête pour la conformité.

Le cœur est-il open source et gratuit pour un usage local ?

Oui. La couche de contexte locale complète est Apache-2.0 et gratuite pour toujours, appliquée par une passerelle CI publique qui échoue tout commit plaçant une capacité locale derrière un mur payant. Enterprise ajoute SSO, politiques de flotte, exportations de conformité et prise en charge air-gapped en plus.

LeanCTX aide-t-il avec le Règlement IA UE, ISO 42001 ou SOC 2 ?

Oui — avec des mécanismes applicables. Des matrices de mappage lisibles par machine relient les contrôles du cadre aux règles de pack de politiques appliquées et aux garanties du moteur ; lean-ctx policy coverage --framework génère des verdicts par contrôle contre votre configuration réelle, et les bundles de preuves permettent aux auditeurs de vérifier les enregistrements hors ligne avec un outil autonome. Là où un devoir est organisationnel, le mappage l'indique. Support d'outillage, pas de conseils juridiques.

Pilotez le plan de contexte.

Deux semaines, vos dépôts, vos politiques et un rapport signé de ce que vos agents ont lu, exécuté et sauvegardé.

Réserver un pilote Modèle de sécurité

Exécutez des agents commeune infrastructure.