Skip to main content
Keith Hodo

Keith Hodo

Solutions Architect at AWS. Writing about cloud, agentic AI, and the journey.

Recent

Red to Green Proves Nothing: Formal Requirements Analysis in Kiro

A red-to-green test proves your code matches your test. It proves nothing about whether either one matches the product’s intent. Kiro can check requirements for contradictions with an SMT solver before any code exists, and I went through the documentation to find exactly where that capability lives and what it costs.