·Kian Quinlan
Proving Prova's receipts cannot be forged
A tamper-evident receipt is only as good as the math under it. Here is what we have proven about Prova's signing, policy engine, and multi-agent composition, and what we have not.
Read more →Blog
Notes from the team.
What we are learning building Prova: agent coordination, formal verification, and the math behind it.
·Kian Quinlan
Why I built Prova
A multi-agent system silently went in circles for three days while we paid for it. That's the problem Prova catches.
Read more →·Kian Quinlan
How Prova detects coordination loops
A short technical post -- the math, the data, and the one line of code you write.
Read more →·Kian Quinlan
What is a tamper-evident receipt, and why should I care?
If you ship AI in a regulated industry, you owe the regulator more than logs. Here's what a real audit artifact looks like.
Read more →