---

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?

Problema	Altri	Nexus OS
Sovranità dei dati	Inviano tutto al cloud	100% locale-primo, air-gappable
Sicurezza degli agenti	Fidati dell'agente, spera per il meglio	Sandbox WASM, ACL delle capacità, limiti di carburante
Identità degli agenti	Chiamate di funzioni anonime	Identità crittografica Ed25519 per agente
Traccia di audit	Log (cancellabili, mutabili)	Traccia di audit concatenata con hash (a prova di manomissione)
Supervisione umana	Opzionale, aggiunta in secondo momento	Cancelli di consenso HITL integrati nel kernel
Evoluzione degli agenti	Prompt statici per sempre	Evoluzione darwiniana: gli agenti mutano, competono, migliorano
Conformità	"Ci stiamo lavorando"	Conformità EU AI Act, OWASP Agentic 10/10
Prestazioni	Python + Electron	Kernel Rust + Tauri 2.0 (binario 5MB vs 100MB+)
Vincolo al fornitore	Scegli un fornitore cloud	15 fornitori LLM, 200+ modelli, scambia liberamente o vai offline
Standard di sicurezza	Ad-hoc	OWASP Agentic Top 10 — tutte 10 le difese con 62 test

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à