Test that a bot only ever does the job it was given — and never deletes, sends or approves the thing it must not. Record it doing the job once, then replay on every commit with zero LLM calls. For the agents and RPA already running real work in production

flowproof CLI native binary for linux-x64

flowproof CLI native binary for darwin-arm64

flowproof CLI native binary for win32-x64

flowproof CLI native binary for darwin-x64

FlowProof core: normalized WorkflowModel, graph + fork analysis, expression extraction, node-behavior registry.

flowproof CLI native binary for linux-x64

FlowProof CLI — deterministic testing for n8n workflows. Lint today; generate/run/coverage/record on the roadmap.

FlowProof static analysis: eslint-style pluggable rules for n8n workflows, with pretty/json/junit output.

flowproof CLI native binary for darwin-arm64

FlowProof workflow sources: load from a JSON file/string or a live n8n instance (Cloud or self-hosted) via API.

Validate that an n8n workflow imports cleanly — leaked credentials, missing/community nodes, version drift, broken connections. Offline, no API, no network.