title: "FlowCheck | Towards Data Science"

FlowCheck is a domain-specific language and tool designed to help end-users verify web applications built by AI coding agents. It addresses the problem of "silent failures," where an app runs without crashing but violates the user's intent, a common issue in AI-generated code. Users specify constraints through a visual interface, linking an action like a button click to an expected outcome on the screen. FlowCheck then translates these constraints into static analysis queries using the CodeQL engine to verify if the correct data and control flows exist in the source code. This process allows non-programmers to find bugs and confirm their app's functionality without needing to read or write any code.