PDD Kit plants one bug per spec clause — a clause that catches none constrains nothing

krishnan · x · 2026-11-10

Part 5 of krishnan's thread distills PDD Kit's methodology:

Related event: Hands-On with Microsoft's PDD Kit: What Formal Verification Proves and Misses(4 posts)→

Original post →

More from coding & agent

coding & agent channel →