The Context OS for
AI Development
The intelligent layer between your AI and your codeШесть столпов. Один рантайм. Полное управление жизненным циклом контекста.
ИИ-агенты постоянно теряют контекст
Каждый ИИ-агент для кодирования сталкивается с одной и той же фундаментальной проблемой: они перечитывают целые файлы, когда нужна лишь сигнатура функции, парсят сырой вывод shell, который можно сжать на 95%, и забывают всё в момент завершения сессии. Результат — потраченные впустую токены, медленные ответы и ненадёжные результаты.
Что такое Context OS?
Context OS контролирует весь жизненный цикл контекста ИИ: от чтения файлов и сжатия вывода shell, через интеллектуальную маршрутизацию и постоянную память, до проверенных выходных данных и бесшовной доставки между инструментами, командами и моделями.
Как это работает
Каждый запрос контекста проходит через графо-управляемый детерминированный конвейер LeanCTX. Система классифицирует намерение, оценивает релевантность с помощью Multi-Edge BFS и RRF Fusion, сжимает с использованием модо-специфичных алгоритмов и верифицирует выходные данные перед доставкой. Каждый шаг воспроизводим и аудитируем.
Ввод
Принимает запросы на чтение файлов, shell-команды и поисковые запросы от любого ИИ-инструмента через MCP или HTTP.
Намерение
Классифицирует тип задачи и выбирает оптимальную стратегию обработки для каждого запроса.
Релевантность
Фильтрует контент до только релевантной задаче информации с помощью AST-анализа, энтропийной оценки и Multi-Edge обхода графа по связям imports, calls, type references и test links.
Сжатие
Применяет интеллектуальное сжатие с модо-специфичными алгоритмами, кэшированием и дельта-кодированием.
Верификация
Проверяет выходные данные на галлюцинационные пути, сломанные импорты, утечки секретов и нарушения политик.
Доставка
Возвращает сжатый, проверенный контекст ИИ-инструменту через MCP, HTTP API или SDK.
Один инструмент, три способа подключения
lean-ctx автоматически выбирает оптимальный режим интеграции для каждого агента. CLI-Redirect полностью устраняет накладные расходы MCP-схемы, Hybrid сочетает лучшее из обоих, а Full MCP обеспечивает максимальный доступ к инструментам.
lean-ctx read src/auth.ts -m map MCP cache + CLI shell/search 58 tools via MCP + lazy tool set Постоянная среда выполнения контекста
Daemon lean-ctx работает как фоновый сервис через Unix Domain Socket. Обеспечивает постоянное состояние сессии, мгновенные попадания кэша и автоматический запуск при setup. При обновлении daemon автоматически перезапускается с новым binary. Устаревшие файлы PID/socket проактивно очищаются, все соединения имеют встроенные таймауты — ручное управление не требуется.
29+ агента, настроены автоматически
lean-ctx обнаруживает установленные агенты и настраивает оптимальный режим интеграции для каждого. CLI-Redirect для агентов с доступом к shell, Hybrid для смешанных сред, Full MCP для агентов только по протоколу.
| Agent | CLI-Redirect | Hybrid | MCP | Setup |
|---|---|---|---|---|
| Cursor | ● | – | – | lean-ctx init --agent cursor |
| Claude Code | – | ● | – | lean-ctx init --agent claude |
| Codex | – | ● | – | lean-ctx init --agent codex |
| OpenCode | – | ● | – | lean-ctx init --agent opencode |
| Gemini CLI | ● | – | – | lean-ctx init --agent gemini |
| CRUSH | – | ● | – | lean-ctx init --agent crush |
| Hermes | – | ● | – | lean-ctx init --agent hermes |
| Pi | – | ● | – | lean-ctx init --agent pi |
| Qoder | – | ● | – | lean-ctx init --agent qoder |
| Windsurf | – | ● | – | lean-ctx init --agent windsurf |
| Copilot | – | ● | – | lean-ctx init --agent copilot |
| Amp | – | ● | – | lean-ctx init --agent amp |
| Cline | – | ● | – | lean-ctx init --agent cline |
| Roo Code | – | ● | – | lean-ctx init --agent roo |
| Kiro | – | ● | – | lean-ctx init --agent kiro |
| Antigravity | – | ● | – | lean-ctx init --agent antigravity |
| Amazon Q | – | ● | – | lean-ctx init --agent amazonq |
| Qwen | – | ● | – | lean-ctx init --agent qwen |
| Trae | – | ● | – | lean-ctx init --agent trae |
| Verdent | – | ● | – | lean-ctx init --agent verdent |
| JetBrains | – | – | ● | lean-ctx init --agent jetbrains |
| QoderWork | – | – | ● | lean-ctx init --agent qoderwork |
| VS Code | – | – | ● | lean-ctx init --agent vscode |
| Zed | – | – | ● | lean-ctx init --agent zed |
| Neovim | – | – | ● | lean-ctx init --agent neovim |
| Emacs | – | – | ● | lean-ctx init --agent emacs |
| Sublime Text | – | – | ● | lean-ctx init --agent sublime |
| Aider | – | – | ● | lean-ctx init --agent aider |
| Continue | – | – | ● | lean-ctx init --agent continue |
Математически обоснованный выбор контекста
Каждый элемент контекста имеет измеримое потенциальное значение. LeanCTX использует Context Field Theory (CFT) для вычисления того, какие файлы, функции и факты знаний принадлежат окну внимания вашего ИИ — а какие нет.
Контекстный потенциал Φ
Функция Phi оценивает каждый элемент контекста в реальном времени. Релевантность, устаревание, центральность в графе, история, стоимость и избыточность объединяются в единую оценку ранжирования.
Дескрипторы контекста
Разреженные, ленивые ссылки на элементы контекста. Вместо загрузки целых файлов агенты работают с лёгкими дескрипторами типа @F1 или @K3, которые разворачиваются по запросу — токены экономятся до тех пор, пока содержимое действительно не понадобится.
Оверлеи контекста
Обратимые мутации состояния контекста. Закрепить критические файлы, подавить шум, повысить приоритет или пометить элементы как устаревшие — всё без изменения источника. Оверлеи накладываются и могут быть отменены.
Компилятор контекста
При заданном бюджете токенов и описании задачи компилятор выбирает оптимальное подмножество элементов контекста, используя Φ-ранжированный жадный алгоритм со штрафами за избыточность. Результат — минимальный верифицированный пакет контекста.
Движок политик контекста
Декларативные правила, управляющие поведением контекста. Автоматически закреплять тестовые файлы во время TDD, подавлять директории vendor, применять лимиты токенов по типу файла или помечать устаревшие элементы — всё настраивается по проектам.
Полный доступ через CLI и MCP
Каждая операция CFT доступна через CLI-команды и MCP-инструменты. Используйте lean-ctx control, lean-ctx plan, lean-ctx compile в терминале, или ctx_control, ctx_plan, ctx_compile через MCP.
Context Packages
Упаковывайте, делитесь и повторно используйте накопленный контекст проекта. Экспортируйте знания, данные графа, подводные камни и находки сессий в портативные пакеты. Автозагрузка пакетов при старте сессии для мгновенной экспертизы в предметной области.
Девять столпов. Один рантайм.
Всё между вашим кодом и ИИ, обработано.
Умный I/O
Детерминированное чтение, сжатие shell, поиск - на 99% меньше токенов
Интеллект
Маршрутизация намерений, выбор режима, адаптивный конвейер
Память
Сессии, знания проекта, графы, передачи
Управление
Роли, бюджеты, SLO, шлюзы рабочих процессов, политики
Верификация
Формальные доказательства Lean4, верификация на основе утверждений, уровни качества 0–4
Интеграции
MCP, HTTP, SDK, 29+ IDE, облако, командный сервер
Shared Sessions
Обмен сессиями между агентами на основе рабочих пространств и каналов
Context Bus
Поток событий в реальном времени для изменений контекста через SSE
SDK & API
TypeScript SDK и REST API для внешних интеграций
Посмотрите в действии
LeanCTX располагается между вашим ИИ-инструментом и кодовой базой. Каждое чтение файла, shell-команда и поисковый запрос проходят через Context Kernel — сжимаются, кэшируются и верифицируются до передачи модели.
Каждый вывод несёт доказательство
LeanCTX генерирует артефакты доказательств для каждой сессии: какие файлы были прочитаны, что было сжато, какие проверки пройдены и как были потрачены токены. Это делает работу ИИ аудитируемой, воспроизводимой и заслуживающей доверия.
Ready to get started?
Install lean-ctx in 60 seconds, auto-configure your editor, and start saving tokens immediately. No cloud, no config files to write manually.
See how to get startedДайте вашему ИИ контекст, которого он заслуживает.
Шесть столпов. Один рантайм. Полное управление жизненным циклом контекста.