╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> 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 · O Plano de Contexto

Execute agentes como
infraestrutura.

Em 2026, todo desenvolvedor executará agentes de codificação; em 2027 serão frotas. Agentes que tocam código de produção e dados de clientes precisam do que todos os outros sistemas já têm: controle de acesso, orçamentos e um rastro de auditoria. LeanCTX é essa camada — cada leitura, comando e saída passa por ela antes de chegar ou sair do modelo: local-first, verificável, open core.

Agendar um piloto View the live demo Ler o modelo de segurança

O Plano de Contexto

Governe o que seus agentes veem, usam e lembram.

Um binário local por máquina, uma superfície de política para a frota. Cada leitura, comando e saída passa primeiro pela mesma camada de context engineering. Tudo abaixo é enviado no core open-source hoje.

Ver

PathJail restringe o acesso a arquivos aos roots permitidos. Segredos são redigidos antes que qualquer modelo os veja. O screening de prompt-injection verifica conteúdo não confiável, alinhado com OWASP.

Usar

A allowlist do shell bloqueia comandos perigosos antes da execução. Orçamentos de tokens por função limitam gastos. O gateway MCP roteia ferramentas externas através de um ponto de entrada governado.

Lembrar

A memória da sessão e o armazenamento de conhecimento são arquivos locais e inspecionáveis. Você decide o que persiste, o que sincroniza e o que é purgado.

Provar

Um livro-razão registrado com assinatura Ed25519 e cadeia de hashes registra leituras, comandos e salvamentos. Verifique a integridade com um comando; exporte para auditoria e finanças.

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.

Plano Enterprise

Tudo no core, mais controle de frota.

O core open-source permanece gratuito para sempre, garantido por um portão CI público. O Enterprise adiciona o plano que permite às equipes de plataforma e segurança operar centenas de agentes.

SSO & SCIM

Políticas de frota

Raízes PathJail, listas de permissão, orçamentos e políticas de persona gerenciados centralmente, versionadas, revisadas e implementadas como código.

Exportações de Conformidade

Relatórios agregados e assinados de auditoria e salvamento em toda a frota: números que finanças e auditores podem verificar por conta própria.

Implantação Air-gapped

Operação totalmente offline com pacotes assinados e pacotes de políticas, para ambientes onde nada pode sair. Nunca.

Preços transparentes, sem portão "contatar vendas" para os números: ver planos. A chamada piloto cobre arquitetura e implementação.

Regulado? Auditado?

Frameworks mapeados, evidência verificável.

O plano de contexto responde a perguntas de conformidade com controles aplicados e evidências verificáveis offline — e é explícito sobre o que permanece um dever organizacional.

EU AI Act · ISO 42001 · SOC 2

Matrizes de mapeamento legíveis por máquina, pacotes de políticas de framework e relatórios de cobertura por controle: policy coverage --framework eu-ai-act — 11 de 14 controles mapeados tecnicamente aplicados, lacunas documentadas.

Conformidade e evidências →

Pacotes de evidências

Exportações de auditoria determinísticas e assinadas Ed25519 que seu auditor verifica offline com uma ferramenta autônoma — sem instalação do LeanCTX, sem confiança em nós. Testado por mutação: um byte invertido falha.

Como funciona a verificação →

Identidades de agentes

Cada agente registrado, propriedade humana, atestado e revogável. O desligamento do proprietário suspende toda a frota de um colaborador em uma única transação auditada — sem agentes órfãos.

Governança de agentes →

Construído sobre padrões abertos: o Context Governance Benchmark define os controles, o Open Context Protocol define o formato de transmissão — ambos citáveis, ambos neutros em relação a fornecedores.

"O que sai da máquina?"

Nada. verifique isso. LeanCTX roda localmente com zero telemetria. O livro-razão, cache e o armazenamento de conhecimento são arquivos locais. A saída de rede ocorre apenas onde sua configuração envia, e o rastro de auditoria registra isso.

Leia o modelo de segurança completo

FAQ

O que os compradores perguntam primeiro.

O que sai da máquina quando os desenvolvedores usam LeanCTX?

Nada, e você pode verificar. LeanCTX roda localmente com zero telemetria: cache, armazenamento de conhecimento e o livro-razão de auditoria assinado são arquivos locais. A saída de rede ocorre apenas onde sua própria configuração envia. Implantação air-gapped é suportada.

Como o LeanCTX comprova economias e atividades para finanças e conformidade?

Cada leitura, comando e salvamento cai em um livro-razão local Ed25519-assinado e encadeado por hash. lean-ctx savings verify prova a integridade de ponta a ponta, e lean-ctx savings export produz uma exportação pronta para conformidade.

O núcleo é código aberto e gratuito para uso local?

Sim. A camada de contexto local completa é Apache-2.0 e gratuita para sempre, imposta por um portão CI público que falha qualquer commit que coloque uma capacidade local atrás de um paywall. Enterprise adiciona SSO, políticas de frota, exportações de conformidade e suporte air-gapped por cima.

O LeanCTX ajuda com o EU AI Act, ISO 42001 ou SOC 2?

Sim — com mecanismos aplicáveis. Matrizes de mapeamento legíveis por máquina vinculam controles do framework a regras de pacotes de políticas e garantias do motor; o lean-ctx policy coverage --framework renderiza vereditos por controle contra sua configuração real, e os bundles de evidências permitem que auditores verifiquem os registros offline com uma ferramenta autônoma. Onde um dever é organizacional, o mapeamento indica isso. Suporte a ferramentas, não aconselhamento jurídico.

Pilote o Context Plane.

Duas semanas, seus repositórios, suas políticas e um relatório assinado do que seus agentes leram, executaram e salvaram.

Agendar um piloto Modelo de segurança

Execute agentes comoinfraestrutura.