Daresti a un agente AI le chiavi di casa tua?

Stiamo costruendo un sistema operativo per agenti AI. Ogni azione ha un livello, e le più rischiose aspettano il tuo via libera.

Iscriviti alla lista d’attesa →
01L’idea

Quis custodiet ipsos custodes?

Giovenale si chiedeva chi custodisce i custodi. La nostra risposta: la correttezza del custode va dimostrata.

Il nucleo che decide cosa può fare un agente lo stiamo scrivendo in Rust, e sarà verificato con Kani e Verus.[ In costruzione ]

02Come funziona

Tre livelli di azione

Scegli un livello per vederne il flusso.

— · Simulazione · non viene inviato nulla

Scegli un livello per vederne il flusso.

03Hermes

La voce

Hermes sarà il modo in cui parli con i tuoi agenti. La sfera respira a riposo, ascolta, pensa, parla e pulsa quando qualcosa attende la tua approvazione.

  • 01Riposo
  • 02Ascolto
  • 03Elaborazione
  • 04Risposta
  • 05Approvazione
Clip in loop · sfera d’oro · 1:1
04Cosa abbiamo già fatto

Cosa abbiamo già fatto

Audit Timestral
DOI 10.5281/zenodo.23890353Pubblicato su Zenodo.
L’autore
CISSP. 20 anni di sviluppo di exploit.
Nucleo verificato formalmente
Rust · Kani · Verus[ In costruzione ]
05Lista d’attesa

Iscriviti alla lista d’attesa

Ti chiediamo solo l’email. Ti scriviamo quando c’è qualcosa da provare.

Fatto: sei nella lista.

Si è verificato un errore sui nostri sistemi. Riprova più tardi.

Salviamo la tua email e nient’altro. Niente cookie, niente tracciamento. Privacy