Skip to main content
Questa documentazione riguarda le distribuzioni di Devin per il governo federale. Torna alla documentazione di Devin
La build air-gapped di Devin Desktop e della Devin CLI è pensata per reti prive di accesso a Internet. L’inferenza viene eseguita sugli endpoint dei modelli che ospiti tu, l’accesso è regolato da un file di licenza firmato e convalidato localmente e ogni evento viene registrato in un registro di audit locale. Questa guida è rivolta all’amministratore che installa, configura e gestisce il prodotto. È strutturata come un runbook: ogni pagina tratta un aspetto della distribuzione e si chiude con i codici di errore che potresti incontrare e le relative soluzioni.
Beta. La build air-gapped è attualmente disponibile in versione beta. Le piattaforme supportate sono macOS (Apple silicon e Intel), Linux (x86_64 e aarch64) e Windows (x64 e arm64).

​
Che cos’è il prodotto

Desktop e la CLI integrata vengono compilati dallo stesso commit di rilascio, quindi un singolo bundle di Desktop costituisce un’installazione completa e coerente.

​
Prima di iniziare

​
Forniti da Cognition

​
Cosa devi fornire

​
Endpoint utilizzati dal prodotto

La CLI e l’app Desktop air-gapped sono configurate interamente tramite file presenti sull’host. Gli endpoint che utilizzano sono quelli che configuri tu:
  • Endpoint dei modelli elencati nel tuo file dei modelli. Non esiste un catalogo di modelli nel cloud: l’elenco dei modelli, il selettore del modello e l’instradamento dell’inferenza provengono tutti da quel file. Gli endpoint devono usare https://; il semplice http:// è accettato solo per host di loopback (localhost, 127.0.0.0/8, [::1]), ad esempio un server vLLM o Ollama in esecuzione sulla stessa macchina.
  • Il tuo provider di identità, se abiliti l’SSO. La CLI legge il documento di rilevamento OIDC dell’emittente e ne usa gli endpoint di autorizzazione, token e JWKS.
  • Gli eventuali server MCP che configuri localmente.
  • Il portale (windsurf.fedstart.com), a cui un amministratore accede da browser per scaricare i bundle ed emettere le licenze.
Il registro di audit e il report dei dati diagnostici vengono salvati sul disco locale. devin update è disabilitato: le nuove versioni si installano dai bundle che scarichi dal portale (vedi Aggiornamenti).

​
Come viene controllato l’accesso

  1. Licenza (sempre). All’avvio la CLI verifica la firma e il periodo di validità del file di licenza tramite le chiavi pubbliche incorporate nel binario. Senza una licenza valida la CLI non si avvia; consulta Licenza.
  2. SSO (facoltativo). Se crei un file di autenticazione che imposta "mode": "sso", ogni utente deve anche accedere al tuo IdP con devin auth login. L’accesso può essere vincolato all’appartenenza a un gruppo obbligatorio, e una sessione in esecuzione viene riconvalidata in base al token memorizzato nella cache; consulta SSO.
Entrambi i meccanismi sono imposti dalla CLI, quindi valgono allo stesso modo sia per l’uso autonomo da terminale sia per l’agente all’interno di Desktop.

​
Prossimi passi

Installazione

Scarica dal portale, verifica il download, installa ed esegui la prima verifica dello stato di salute.

Codici di errore

Il catalogo completo dei codici LIC, IDP, MDL, NET e CFG, con le azioni consigliate agli operatori.

Risoluzione dei problemi

Il runbook di devin airgap doctor e le informazioni da inviare al supporto.

Formati su disco

Percorsi di configurazione per ciascun sistema operativo e schema JSONL dei log di audit per l’ingestione nel SIEM.