Instructions file
Instructions for automators-com/flowproof, covering claude.md, what flowproof is, repository layout, commands and things that will fail ci if you get them wrong.
5 2d ago A 1,368 tokens
original Apache-2.0
Agents are starting to run real business processes. flowproof tests them like anything else: record one real run, then replay it on every commit with zero LLM calls, asserting which tools were called, with which arguments, in which order, and which were not.
Instructions file
Instructions for automators-com/flowproof, covering claude.md, what flowproof is, repository layout, commands and things that will fail ci if you get them wrong.