Nexus OS è un sistema operativo per agenti IA dove gli agenti sono cittadini di prima classe con identità crittografiche, autonomia governata e capacità di evolversi. Funziona interamente sul tuo hardware — nessuna dipendenza dal cloud, nessun dato esce dalla tua macchina, air-gappable. Ogni azione è concatenata con hash, ogni decisione è verificabile, ogni agente è confinato in una sandbox.

┌──────────────────────────────────────────────────────────────────────┐
│                        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)  │
└──────────────────────────────────────────────────────────────────────┘

Perché Nexus OS?

Funzionalità

Governance e Sicurezza

• OWASP Agentic Top 10 — Tutte e 10 le difese implementate e testate (62 test dedicati)
• Firma del consenso Ed25519 — Le approvazioni Tier2+ sono crittograficamente non ripudiabili
• Pronto per il post-quantistico — Ed25519 + X25519 con roadmap ML-DSA/ML-KEM (nexus-crypto)
• Firewall dei prompt — 20 pattern di iniezione, redazione PII, filtraggio output
• Politiche ispirate a Cedar — Regole dichiarative sulle capacità con valutazione formale
• Cancelli di consenso HITL — 4 livelli (Tier0-3) con numero configurabile di approvazioni
• Traccia di audit concatenata con hash — A prova di manomissione, append-only, verificabile crittograficamente
• Checkpoint e rollback — Ripristino a 3 livelli: memoria, esecuzione, compensazione effetti collaterali

Intelligenza degli Agenti

• Ciclo cognitivo — Percepisci, ragiona, pianifica, agisci, rifletti, impara
• Darwin Core — Arena avversaria, coordinamento sciame, strategie evolutive
• Misurazione delle capacità — Punteggio a 4 vettori con rilevamento di gaming
• Routing predittivo — Selezione del modello ottimizzata per latenza, costo e complessità del compito
• Sottosistema di memoria — 4 tipi (lavoro, episodica, semantica, procedurale) con SQLite, GC, rollback, ACL
• 55 agenti predefiniti su 7 livelli di autonomia (L0-L6)

Protocolli e Integrazione

• MCP — Client JSON-RPC 2.0 con scoperta di strumenti tramite sottoprocesso
• A2A — Scoperta agente-agente, delega di compiti, monitoraggio stato
• API REST compatibile con OpenAI — Completamenti chat, chiamate a strumenti, streaming SSE
• Adattatori di messaggistica — Slack, Discord, Matrix, Telegram, WhatsApp, Webhook
• Strumento di migrazione — Importa da CrewAI e LangGraph

Infrastruttura

• Economia dei token — Portafogli, misurazione del carburante, contratti di delega, gating per livello
• Fabbrica software — Creazione progetti, pipeline di build, cancelli di qualità
• Marketplace — Pacchetti firmati Ed25519 con pipeline di verifica
• Simulazione del mondo — Filesystem virtuale in sandbox con dry-run e valutazione del rischio
• Protocollo di collaborazione — Sessioni multi-agente con voto e consenso

Auto-miglioramento Governato

• Pipeline a 5 fasi — Osservatore, Analizzatore, Propositore, Validatore, Applicatore
• 10 invarianti rigide — Kernel di governance immutabile, HITL Tier3 richiesto, integrità della catena di audit
• Ottimizzatore di prompt DSPy/OPRO — Generazione di varianti, applicazione di parole chiave di sicurezza, punteggio di similarità coseno
• Ottimizzatore di configurazione — 8 parametri sintonizzabili con regolazioni a passo limitato
• Ottimizzatore di politiche — Affinamento delle politiche Cedar (può solo restringere, mai allargare)
• Involucro comportamentale — Teorema dei Limiti di Deriva (D* = alpha/gamma) limita la deriva dell'agente
• Guardiano Simplex — Baseline verificata e sicura con commutazione a barriera certificata
• 182 test + 7.424 casi generati da proprietà

Desktop e Locale-Primo

• Inferenza Flash — llama.cpp tramite FFI, caricamento GGUF, decodifica speculativa
• 15 fornitori LLM — Tutti con chiamate HTTP reali, failover automatico
• Pipeline vocale — Parla e digita, trascrizione Whisper, API Web Speech
• Automazione browser — Integrazione Playwright con allowlist URL e blocco finanziario
• Controllo del computer — Cattura schermo, esecuzione input, governato con gate a L4+
• 86 pagine frontend — UI di gestione completa per ogni sottosistema

Inferenza Flash — Esegui Localmente Qualsiasi Modello Open-Source

Inferenza locale integrata tramite llama.cpp, che supporta oltre 60 architetture di modelli attraverso il formato GGUF. Esegui Qwen, DeepSeek, Llama, Mistral, Gemma, Phi e altri — tutti governati con la stessa pipeline di sicurezza dei fornitori cloud.

Modello 397B verificato in esecuzione in una gabbia di memoria systemd da 32 GB tramite streaming SSD mmap. Nessuna GPU richiesta.

Ogni chiamata di inferenza passa attraverso: controllo delle capacità, riserva di carburante, arena avversaria, redazione PII, firewall di output, traccia di audit concatenata con hash.

Avvio Rapido

Prerequisiti

• Sistema operativo: Linux (Ubuntu 22.04+), macOS o Windows 10+
• Rust: 1.75+ (curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh)
• Node.js: 18+ (nvm install 18)
• Ollama (opzionale): curl -fsSL https://ollama.ai/install.sh | sh

Build ed Esecuzione

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

# Build workspace
cargo build --workspace

# Build frontend
cd app && npm ci && npm run build && cd ..

# Esegui in modalità sviluppo
cd app && npm run tauri dev

Distribuzione Server (Docker)

# Avvio con un comando — serve UI + API sulla porta 8080
docker compose up -d

# Con inferenza LLM locale tramite Ollama
docker compose --profile with-ollama up -d

# Verifica
curl http://localhost:8080/health

Vedi docs/DEPLOYMENT.md per distribuzioni Kubernetes/Helm, air-gapped e HA.

Stato Post-Audit

Audit indipendente completato il 31-03-2026. Ogni metrica verificata ispezionando il codice sorgente.

Comandi Tauri ... 675    Agenti ............ 55
Crate Rust ....... 66    Pagine Frontend .. 86
Test Rust ........ 4.877    Test Frontend .... 352
Fornitori LLM .... 15    Punteggio OWASP .. 10/10
TODO di produzione . 0    Stub di produzione . 0

Sicurezza e Governance

OWASP Agentic Top 10 — Copertura Completa

Controllo Accessi Basato su Capacità

Agent: coder-agent (L3)
Capacities:
  file.read(scope: /workspace/*), file.write(scope: /workspace/*)
  llm.query(provider: ollama, model: codestral)
Negato:
  network.external, file.write(scope: /system/*), process.execute(elevated: true)
Carburante: 10.000 unità/sessione
HITL: Richiesto per file.delete, process.execute

Struttura del Progetto

nexus-os/
├── kernel/          110K righe — governance, ciclo cognitivo, attuatori, audit
├── app/src-tauri/     34K righe — 675 comandi Tauri in 19 moduli di dominio
├── app/src/           65K righe — 86 pagine React, 352 test
├── connectors/        23K righe — LLM (15 fornitori), messaggistica (6 canali), web, social
├── crates/            55K righe — memoria, crittografia, auto-miglioramento, A2A, MCP, simulazione, ...
├── agents/            19K righe — 10 crate agente + 55 manifesti predefiniti
├── sdk/               10K righe — API per agenti che avvolge il kernel
├── distributed/        9K righe — P2P, protocollo ghost, mesh
├── protocols/          8K righe — gateway HTTP, API compatibile OpenAI, client MCP
├── marketplace/        5K righe — firma Ed25519, registro SQLite
├── enterprise/         7K righe — autenticazione, tenancy, integrazioni, misurazione, telemetria
└── cli/                6K righe — strumenti CLI, packager

Documentazione

Roadmap

• v10.6.0 — Auto-miglioramento Governato, conformità SOC 2/NIST, distribuzione Docker/Helm
• v10.5.0 — Rafforzamento post-audit: punteggio audit 9.5/10, OWASP 10/10
• v10.4.0 — Memoria agenti, crittografia PQC, strumento di migrazione, API compatibile OpenAI
• v10.3.0 — Audit completo: 54 agenti, 655 comandi, 84 pagine
• Darwin Core — Motore di evoluzione darwiniana con arena avversaria
• Inferenza Flash — Integrazione llama.cpp, modello 397B verificato
• Docker + chart Helm per distribuzione server/K8s
• Certificazione formale SOC 2 Tipo II / NIST 800-53
• Auto-miglioramento Governato (capstone — gli agenti migliorano il sistema operativo stesso)
• Articolo di ricerca: verifica formale delle proprietà di governance

Licenza

Licenza MIT