Would you give an AI agent the keys to your house?

We are building an operating system for AI agents. Every action has a level, and the risky ones wait for you.

Join the waitlist →
01The idea

Quis custodiet ipsos custodes?

Juvenal asked who guards the guardians. Our answer: the guardian must be proven.

The core that decides what an agent may do is being written in Rust, to be checked with Kani and Verus.[ In construction ]

02How it works

Three action levels

Pick a level to play its flow.

— · Simulation · nothing is sent

Pick a level to play its flow.

03Hermes

The voice

Hermes is how you will speak with your agents. The sphere breathes when idle, listens, thinks, speaks, and pulses when something is waiting for your approval.

  • 01Idle
  • 02Listening
  • 03Thinking
  • 04Speaking
  • 05Approval
Loop clip · gold sphere · 1:1
04Proof of work

Proof of work

Timestral audit
DOI 10.5281/zenodo.23890353Published on Zenodo.
The author
CISSP. 20 years of exploit development.
Formally verified core
Rust · Kani · Verus[ In construction ]
05Waitlist

Join the waitlist

Email only. We write when there is something to try.

You are on the list.

Something went wrong on our side. Please try again later.

We store your email and nothing else. No cookies, no tracking. Privacy