Blog

Notes on verifying agentic coding.

What we learn building Tiden, and what we see teams shipping with coding agents run into.

More AI to fix AI problems won't work, Agentic coding needs enforceable verification boundary.