·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 →Blog
Notes from the team.
What we are learning building Prova -- agent coordination, formal verification, and the math behind it.
·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 →·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 →