automators-com/flowproof

Deterministic tests for AI agents: record a run once, repla…