Today, most coding agents support spec-driven development (or plan mode).

They typically capture the requirements, design, and implementation plan in Markdown files. But is that Markdown file actually a specification?

This article explores how formal analysis can uncover requirements gaps that are easy to miss.