Nexus OS — это операционная система для агентов ИИ, где агенты являются гражданами первого класса с криптографическими идентификаторами, управляемой автономией и способностью к эволюции. Она работает полностью на вашем оборудовании — без зависимости от облака, без передачи данных с вашего устройства, с возможностью работы с воздушным зазором. Каждое действие связано хэш-цепочкой, каждое решение подлежит аудиту, каждый агент изолирован в песочнице.

┌──────────────────────────────────────────────────────────────────────┐
│                        Nexus OS v10.6.0                              │
│                                                                      │
│  ┌──────────┐  ┌──────────┐  ┌──────────┐  ┌──────────┐            │
│  │ Coder    │  │ Research │  │ Security │  │ DevOps   │  ...55     │
│  │ Agent    │  │ Agent    │  │ Agent    │  │ Agent    │  agents    │
│  └────┬─────┘  └────┬─────┘  └────┬─────┘  └────┬─────┘            │
│       │              │              │              │                  │
│  ┌────▼──────────────▼──────────────▼──────────────▼─────┐           │
│  │              Nexus Conductor (Orchestration)           │           │
│  │       A2A Protocol  ·  MCP Protocol  ·  Swarm          │           │
│  └───────────────────────┬────────────────────────────────┘           │
│                          │                                            │
│  ┌───────────────────────▼────────────────────────────────┐           │
│  │                   Governance Kernel                     │           │
│  │  Capability ACL · HITL Gates · Fuel Metering            │           │
│  │  OWASP 10/10 · Ed25519 Consent · PII Redaction          │           │
│  │  Hash-Chain Audit · WASM Sandbox · Cedar Policies        │           │
│  └───────────────────────┬────────────────────────────────┘           │
│                          │                                            │
│  ┌───────────────────────▼────────────────────────────────┐           │
│  │                    LLM Providers (15)                    │           │
│  │  Ollama · OpenAI · Claude · Gemini · Groq · DeepSeek    │           │
│  │  NVIDIA NIM · OpenRouter · Mistral · Cohere · Fireworks  │           │
│  │  Together · Perplexity · Flash (llama.cpp) · + Mock      │           │
│  └────────────────────────────────────────────────────────┘           │
│                                                                      │
│  Rust Kernel (326K LOC) · Tauri 2.0 Shell · React/TS Frontend (65K)  │
└──────────────────────────────────────────────────────────────────────┘

Зачем Nexus OS?

Возможности

Управление и безопасность

• OWASP Agentic Top 10 — Все 10 защит реализованы и протестированы (62 специальных теста)
• Подписание согласия Ed25519 — Одобрения Tier2+ криптографически неотрицаемы
• Готовность к посткванту — Ed25519 + X25519 с дорожной картой ML-DSA/ML-KEM (nexus-crypto)
• Брандмауэр подсказок — 20 шаблонов инъекций, редактирование PII, фильтрация вывода
• Политики в стиле Cedar — Декларативные правила возможностей с формальной оценкой
• Шлюзы согласия HITL — 4 уровня (Tier0-3) с настраиваемым количеством утверждений
• Хэш-цепочка аудита — Защита от подделки, только добавление, криптографически проверяемо
• Контрольные точки и откат — 3-уровневое восстановление: память, выполнение, компенсация побочных эффектов

Интеллект агентов

• Когнитивный цикл — Цикл восприятия, рассуждения, планирования, действия, рефлексии, обучения
• Darwin Core — Состязательная арена, координация роя, эволюционные стратегии
• Измерение возможностей — 4-векторная оценка с обнаружением игровых приёмов
• Прогнозирующая маршрутизация — Выбор модели, оптимизированный по задержке, стоимости и сложности задачи
• Подсистема памяти — 4 типа (рабочая, эпизодическая, семантическая, процедурная) с SQLite, GC, откатом, ACL
• 55 предварительно созданных агентов на 7 уровнях автономии (L0-L6)

Протоколы и интеграция

• MCP — Клиент JSON-RPC 2.0 с обнаружением инструментов через подпроцессы
• A2A — Обнаружение агентов, делегирование задач, отслеживание статуса
• REST API, совместимый с OpenAI — Завершения чатов, вызовы инструментов, потоковая передача SSE
• Адаптеры сообщений — Slack, Discord, Matrix, Telegram, WhatsApp, Webhook
• Инструмент миграции — Импорт из CrewAI и LangGraph

Инфраструктура

• Токен-экономика — Кошельки, измерение топлива, контракты делегирования, шлюзы по уровням
• Программная фабрика — Создание проектов, конвейер сборки, шлюзы качества
• Маркетплейс — Пакеты, подписанные Ed25519, с конвейером проверки
• Симуляция мира — Песочница виртуальной файловой системы с сухим прогоном и оценкой рисков
• Протокол совместной работы — Многоагентные сессии с голосованием и консенсусом

Управляемое самоулучшение

• 5-этапный конвейер — Наблюдатель, Анализатор, Предлагатель, Валидатор, Применитель
• 10 жёстких инвариантов — Ядро управления неизменяемо, HITL Tier3 обязателен, целостность цепочки аудита
• Оптимизатор подсказок DSPy/OPRO — Генерация вариантов, принудительное соблюдение ключевых слов безопасности, оценка косинусного сходства
• Оптимизатор конфигурации — 8 настраиваемых параметров с корректировками с ограниченным шагом
• Оптимизатор политик — Уточнение политик Cedar (может только сужать, никогда не расширять)
• Поведенческая оболочка — Теорема границ дрейфа (D* = alpha/gamma) ограничивает дрейф агента
• Страж симплекса — Проверенная безопасная базовая линия с переключением по барьерному сертификату
• 182 теста + 7,424 сгенерированных настраиваемых случаев

Десктоп и локальный приоритет

• Flash-инференс — llama.cpp через FFI, загрузка GGUF, спекулятивное декодирование
• 15 провайдеров LLM — Все с реальными HTTP-вызовами, автоматическим переключением при сбое
• Голосовой конвейер — Push-to-talk, транскрипция Whisper, Web Speech API
• Автоматизация браузера — Интеграция Playwright с белым списком URL и блокировкой финансовых операций
• Управление компьютером — Захват экрана, выполнение ввода, ограничено управлением на L4+
• 86 страниц фронтенда — Полный интерфейс управления для каждой подсистемы

Flash-инференс — Запуск любой модели с открытым исходным кодом локально

Встроенный локальный инференс через llama.cpp, поддерживающий более 60 архитектур моделей через формат GGUF. Запускайте Qwen, DeepSeek, Llama, Mistral, Gemma, Phi и другие — все управляются тем же конвейером безопасности, что и облачные провайдеры.

Модель 397B проверена и работает в 32 ГБ systemd memory cage через mmap SSD streaming. GPU не требуется.

Каждый вызов инференса проходит через: проверку возможностей, резерв топлива, состязательную арену, редактирование PII, выходной файрвол, хэш-цепочку аудита.

Быстрый старт

Предварительные требования

• ОС: Linux (Ubuntu 22.04+), macOS или Windows 10+
• Rust: 1.75+ (curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh)
• Node.js: 18+ (nvm install 18)
• Ollama (опционально): curl -fsSL https://ollama.ai/install.sh | sh

Сборка и запуск

git clone https://gitlab.com/nexaiceo/nexus-os.git
cd nexus-os

# Сборка рабочей области
cargo build --workspace

# Сборка фронтенда
cd app && npm ci && npm run build && cd ..

# Запуск в режиме разработки
cd app && npm run tauri dev

Развёртывание сервера (Docker)

# Однокомандный запуск — обслуживает UI + API на порту 8080
docker compose up -d

# С локальным LLM-инференсом через Ollama
docker compose --profile with-ollama up -d

# Проверка
curl http://localhost:8080/health

См. docs/DEPLOYMENT.md для развёртывания Kubernetes/Helm, с воздушным зазором и высокой доступностью.

Статус после аудита

Независимый аудит завершён 2026-03-31. Каждый показатель проверен путём инспекции исходного кода.

Tauri Commands .... 675     Agents ............ 55
Rust Crates ....... 66      Frontend Pages .... 86
Rust Tests ........ 4,877   Frontend Tests .... 352
LLM Providers ..... 15      OWASP Score ....... 10/10
Production TODOs .. 0       Production Stubs .. 0

Безопасность и управление

OWASP Agentic Top 10 — Полное покрытие

Контроль доступа на основе возможностей

Agent: coder-agent (L3)
Capabilities:
  file.read(scope: /workspace/*), file.write(scope: /workspace/*)
  llm.query(provider: ollama, model: codestral)
Denied:
  network.external, file.write(scope: /system/*), process.execute(elevated: true)
Fuel: 10,000 units/session
HITL: Required for file.delete, process.execute

Структура проекта

nexus-os/
├── kernel/          110K строк — управление, когнитивный цикл, актуаторы, аудит
├── app/src-tauri/     34K строк — 675 команд Tauri в 19 доменных модулях
├── app/src/           65K строк — 86 страниц React, 352 теста
├── connectors/        23K строк — LLM (15 провайдеров), сообщения (6 каналов), веб, соцсети
├── crates/            55K строк — память, крипто, самоулучшение, A2A, MCP, симуляция, ...
├── agents/            19K строк — 10 крейтов агентов + 55 предварительно созданных манифестов
├── sdk/               10K строк — API для агентов, оборачивающий ядро
├── distributed/        9K строк — P2P, ghost protocol, mesh
├── protocols/          8K строк — HTTP шлюз, API совместимый с OpenAI, клиент MCP
├── marketplace/        5K строк — подпись Ed25519, реестр SQLite
├── enterprise/         7K строк — аутентификация, аренда, интеграции, измерение, телеметрия
└── cli/                6K строк — CLI-инструменты, упаковщик

Документация

План развития

• v10.6.0 — Управляемое самоулучшение, соответствие SOC 2/NIST, развёртывание Docker/Helm
• v10.5.0 — Укрепление после аудита: оценка аудита 9.5/10, OWASP 10/10
• v10.4.0 — Память агентов, крипто PQC, инструмент миграции, API совместимый с OpenAI
• v10.3.0 — Полный аудит: 54 агента, 655 команд, 84 страницы
• Darwin Core — Движок дарвиновской эволюции с состязательной ареной
• Flash-инференс — Интеграция llama.cpp, модель 397B проверена
• Docker + Helm-чарт для серверного развёртывания/K8s
• Формальная сертификация SOC 2 Type II / NIST 800-53
• Управляемое самоулучшение (капстон — агенты улучшают саму ОС)
• Научная статья: формальная верификация свойств управления

Лицензия

MIT License