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
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