npm · PyPI · 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.016. Sept. 2026 · Metriken 2.10.0