A collection of things I've built
As AI agents increasingly author production code, how do we verify what they wrote? Covenant is my answer — a programming language where every function is a verifiable contract.