FlowCheck

Catching the silent failures in apps coding agents build, without reading the code By Reya Vir Project page: https://towardsdatascience.com/flowcheck/ ShipAI is a Towards Data Science project. Watch all the videos here: https://towardsdatascience.com/videos/ Key takeaways. 1. Every constraint ties one user action to an effect that must always, or never, happen. 2. Constraints compile to CodeQL queries over the app's control-flow and data-flow graphs, so checks are deterministic. 3. No need to learn the language: FlowCheck injects IDs into the app, and users pick constraints in an overlay. Chapters: 0:00 Silent failures in vibe-coded apps 1:08 Where current debugging falls short 1:51 The FlowCheck constraint language 2:56 IDs and a CodeQL database 3:46 Building constraints in an overlay 4:49 Parsing and running the checks 5:57 Planted bugs, failing checks