╭──────────────────────────────────────────╮ ╭──────────────────────────────────────────╮ │ >>>>>>>>>>>>>>> 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 · Контекстний рівень

Запускайте агентів як
інфраструктуру.

У 2026 році кожен розробник використовуватиме кодингові агенти; до 2027 року це будуть флоти. Агенти, які працюють з production-кодом та даними клієнтів, потребують того, що вже є в усіх інших системах: контроль доступу, бюджети та аудиторський слід. LeanCTX — це цей шар: кожен відступ, команда та вивід проходить через нього перед тим, як потрапити до моделі або залишити її: local-first, перевірений, відкрите ядро.

Записатися на пілот View the live demo Переглянути модель безпеки

Контекстний рівень

Керуйте тим, що ваші агенти бачать, використовують і запам'ятовують.

Один локальний бінарник на машину, одна поверхня політик для флоту. Кожен відступ, команда та вивід спочатку проходить через один і той же контекстний рівень. Усе нижче сьогодні доступне в open-source ядрі.

Бачити

PathJail обмежує доступ до файлів дозволеними коренями. Секрети редагуються, перш ніж їх побачить будь-яка модель. Фільтрація вводу (Prompt-injection screening) перевіряє недовірений контент відповідно до стандартів OWASP.

Використовувати

Білий список оболонки блокує небезпечні команди перед виконанням. Бюджети токенів за ролями обмежують витрати. Шлюз MCP маршрутує зовнішні інструменти через єдину керовану точку входу.

Пам'ятати

Паточна пам'ять та сховище знань є локальними, перевірюваними файлами. Ви вирішуєте, що зберігається, що синхронізується і що очищається.

Підтвердити

Реєстр читань, команд та збережень з підписом Ed25519 та ланцюгом хешів. Перевірте цілісність однією командою; експортуйте для аудиту та фінансів.

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.

План Enterprise

Усе в ядрі, плюс управління флотом.

Open-source ядро залишається безкоштовним назавжди, що підтверджується публічним CI gate. Enterprise додає план, який дозволяє командам платформи та безпеки керувати сотнями агентів.

SSO & SCIM

Вхід SAML/OIDC та автоматичне виділення місць: агенти та люди в межах однієї ідентичності.

Політики флоту

Центрально керовані корені PathJail, дозволи списків (allowlists), бюджети та політики персоналізації, версіоновані, переглянуті та розгорнуті як код.

Експорт відповідності

Підписані агреговані звіти про аудит та збереження для всього флоту: цифри, які фінансисти та аудитори можуть перевірити самостійно.

Розгортання з відключенням

Повністю офлайн-операціонування з підписаними бандлами та пакетами політик для середовищ, де ніщо не повинно виходити. Ніколи.

Прозоре ціноутворення, немає шлюзу «зв'язатися з відділом продажів» для цифр: переглянути плани. Демонстраційний дзвінок охоплює архітектуру та розгортання.

Регульовано? Аудитовано?

Картограмовані фреймворки, докази перевірені.

Площина контексту відповідає на питання відповідності за допомогою застосованих контролів та доказів, перевірюваних офлайн — і чітко вказує, що залишається організаційним обов'язком.

EU AI Act · ISO 42001 · SOC 2

Машинно-зчитувані матриці відображення, пакети політик фреймворку та звіти про покриття за контролями: policy coverage --framework eu-ai-act — 11 із 14 реалізованих контролів, виявлено прогалини.

Комплаєнс та докази →

Пакети доказів

Детерміновані аудиторські експорти, підписані Ed25519, які ваш аудитор перевіряє офлайн за допомогою автономного інструменту — жодної установки LeanCTX, жодної довіри нам. Тестовано на мутації: один змінений байт призводить до збою.

Як працює верифікація →

Ідентичності агентів

Кожен зареєстрований агент, що належить людині, атестований та відкликаний. Виведення власника з системи призупиняє весь флот звільняючого агента в одній аудитованій транзакції — жодних сирітських агентів.

Управління агентами →

Створено на основі відкритих стандартів: Context Governance Benchmark визначає контролі, а Open Context Protocol визначає формат передачі даних — обидва цитовані, обидва незалежні від постачальника.

"Що залишає машину?"

Нічого. перевірте це. LeanCTX працює локально з нульовою телеметрією. Реєстр, кеш та сховище знань — це локальні файли. Вихід даних у мережу відбувається лише там, де ваша конфігурація його надсилає, а аудитний слід це реєструє.

Читати повну модель безпеки

FAQ

Що спочатку запитують покупці.

Що залишається з машини, коли розробники використовують LeanCTX?

Нічого, і ви можете це перевірити. LeanCTX працює локально з нульовою телеметрією: кеш, сховище знань та підписаний аудиторський реєстр — це локальні файли. Вихід даних у мережу відбувається лише там, де ваша власна конфігурація його надсилає. Підтримується розгортання в ізольованому режимі (air-gapped).

Як LeanCTX доводить заощадження та активність фінансам і комплаєнсу?

Кожне читання, команда та збереження потрапляє у локальний реєстр з хеш-ланцюгом та підписом Ed25519. lean-ctx savings verify доводить цілісність від початку до кінця, а lean-ctx savings export створює експорт, готовий для комплаєнсу.

Чи є ядро з відкритим вихідним кодом і безкоштовним для локального використання?

Так. Повний локальний контекстний шар ліцензовано під Apache-2.0 та безкоштовний завжди, забезпечений публічним CI-гейтом, який відхиляє будь-який коміт, що виносить локальну функціональність за платіжну стіну. Enterprise додає SSO, політики флоту, експорти комплаєнсу та підтримку в ізольованому режимі.

Чи допомагає LeanCTX з EU AI Act, ISO 42001 чи SOC 2?

Так — з механізмами примусового виконання. Матриці відображення, доступні для машинного читання, пов'язують елементи керування фреймворку з правилами пакетів політик та гарантіями двигуна; lean-ctx policy coverage --framework генерує вердиктами щодо кожного контролю на основі вашої реальної конфігурації, а пакети доказів дозволяють аудиторам перевіряти записи офлайн за допомогою окремого інструменту. Якщо обов'язок є організаційним, так це вказує відображення. Підтримка інструментаріями, а не юридична консультація.

Пілотуйте Context Plane.

Два тижні, ваші репозиторії, ваші політики та підписаний звіт про те, що ваші агенти прочитали, запустили і зберегли.

Забронювати пілот Модель безпеки

Запускайте агентів якінфраструктуру.