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

Enterprise · Il Piano di Contesto

Esegui gli agenti come se fossero
infrastruttura.

Nel 2026, ogni sviluppatore utilizzerà agenti di coding; entro il 2027 saranno flotte. Gli agenti che toccano codice di produzione e dati dei clienti necessitano di ciò che tutti gli altri sistemi hanno già: controllo degli accessi, budget e un percorso di audit. LeanCTX è quello strato — ogni lettura, comando e output lo attraversano prima che raggiungano o lascino il modello: local-first, verificabile, open core.

Prenota un progetto pilota View the live demo Leggi il modello di sicurezza

Il Piano di Contesto

Governa ciò che i tuoi agenti vedono, utilizzano e ricordano.

Un binario locale per macchina, una superficie di policy per la flotta. Ogni lettura, comando e output passa prima attraverso lo stesso strato di context engineering. Tutto sotto viene fornito nel core open-source oggi.

Vedere

PathJail confina l'accesso ai file alle radici consentite. I segreti vengono ridati prima che qualsiasi modello li veda. Lo screening per prompt injection controlla i contenuti non fidati, allineato con OWASP.

Utilizzare

L'allowlist della shell blocca comandi pericolosi prima dell'esecuzione. I budget di token per ruolo limitano la spesa. Il gateway MCP instrada gli strumenti esterni attraverso un punto di ingresso governato.

Ricordare

La memoria della sessione e il knowledge store sono file locali e ispezionabili. Decidi cosa persiste, cosa sincronizza e cosa viene eliminato.

Prove di concetto

Un registro Ed25519-firmato e a catena di hash registra letture, comandi e salvataggi. Verifica l'integrità con un comando; esporta per audit e finanza.

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.

Piano Enterprise

Tutto nel core, più il controllo della flotta.

Il core open-source rimane gratuito per sempre, garantito da un gate CI pubblico. Enterprise aggiunge il piano che consente a team di piattaforma e sicurezza di gestire centinaia di agenti.

SSO & SCIM

Accesso SAML/OIDC e provisioning automatico dei posti: agenti e umani sotto lo stesso piano di identità.

Policy della flotta

Root PathJail, allowlist, budget e policy persona gestiti centralmente, versionati, revisionati e distribuiti come codice.

Esportazioni di conformità

Report aggregati e firmati su audit e salvataggi per l'intera flotta: numeri che finanza e revisori possono verificare autonomamente.

Deployment Air-gapped

Funzionamento completamente offline con bundle e pacchetti di policy firmati, per ambienti da cui nulla può uscire. Mai.

Prezzi trasparenti, nessun gate "contatta vendite" per i numeri: vedi piani. La chiamata pilota copre architettura e rollout.

Regolamentato? Auditato?

Framework mappati, prove verificabili.

Il piano di contesto risponde alle domande di conformità con controlli applicati ed evidenze verificabili offline — ed è esplicito su ciò che rimane un dovere organizzativo.

EU AI Act · ISO 42001 · SOC 2

Matrici di mappatura leggibili dalla macchina, pacchetti di policy per framework e report di copertura per controllo: policy coverage --framework eu-ai-act — 11 di 14 controlli mappati applicati tecnicamente, lacune documentate.

Conformità ed evidenze →

Bundle di prove

Esportazioni di audit deterministiche e firmate con Ed25519 che il tuo revisore verifica offline con uno strumento autonomo — nessuna installazione LeanCTX, nessun bisogno di fidarsi di noi. Testato per mutazioni: un singolo byte invertito fallisce.

Come funziona la verifica →

Identità degli agenti

Ogni agente registrato, di proprietà umana, attestato e revocabile. L'uscita del proprietario sospende l'intera flotta di un dipendente in una singola transazione auditata — nessun agente orfano.

Governance degli agenti →

Costruito su standard aperti: il Context Governance Benchmark definisce i controlli, l'Open Context Protocol definisce il formato del wire — entrambi citabili, entrambi vendor-neutral.

"Cosa lascia la macchina?"

Nulla. verificalo. LeanCTX funziona localmente con zero telemetria. Il ledger, la cache e lo store di conoscenza sono file locali. L'uscita dalla rete avviene solo dove la tua configurazione lo invia, e la traccia di audit lo registra.

Leggi il modello di sicurezza completo

FAQ

Cosa chiedono i buyer per primi.

Cosa lascia la macchina quando gli sviluppatori utilizzano LeanCTX?

Nulla, e puoi verificarlo. LeanCTX funziona localmente con zero telemetria: cache, store di conoscenza e ledger di audit firmato sono file locali. L'uscita dalla rete avviene solo dove la tua configurazione lo invia. Supportato il deployment air-gapped.

Come dimostra LeanCTX risparmi e attività a finanza e compliance?

Ogni lettura, comando e salvataggio viene registrato in un ledger locale firmato con Ed25519 e catena di hash. lean-ctx savings verify prove l'integrità end to end, e lean-ctx savings export produce un export pronto per la compliance.

Il core è open source e gratuito per uso locale?

Sì. L'intero livello di contesto locale è Apache-2.0 e gratuito per sempre, garantito da un gate CI pubblico che fallisce qualsiasi commit che metta una capacità locale dietro un paywall. Enterprise aggiunge SSO, policy di flotta, export di compliance e supporto air-gapped sopra.

LeanCTX aiuta con EU AI Act, ISO 42001 o SOC 2?

Sì — con meccanismi applicabili. Matrici di mappatura leggibili dalle macchine collegano i controlli del framework alle regole dei policy-pack e alle garanzie del motore; lean-ctx policy coverage --framework genera verdetto per controllo sulla vostra configurazione reale, e i bundle di prove permettono agli revisori di verificare i record offline con uno strumento autonomo. Dove un dovere è organizzativo, la mappatura lo indica. Supporto degli strumenti, non consulenza legale.

Pilotare il Context Plane.

Due settimane, i vostri repository, le vostre policy e un report firmato su ciò che i vostri agenti hanno letto, eseguito e salvato.

Prenota una prova pilota Modello di sicurezza

Esegui gli agenti come se fosseroinfrastruttura.