PyPI · npm · crates.io
automators-com/flowproof
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.
Apache-2.0Aug 4, 2026 · metrics 2.10.0