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.02026年9月16日 · 指标 2.10.0