Skip to main content

flowproof

Run your AI agent once, keep the recording, and assert against it from then on. flowproof captures the run at the model boundary - every request and every tool-call decision - and serves it back on later runs, so replay makes zero LLM calls. You assert which tools were called, with which arguments, in which order, and which were not. The same engine drives web, desktop and Citrix.

Agents author, a deterministic engine executes. A flow is described in YAML with natural-language steps, recorded once against the live app, and replayed deterministically in CI with zero LLM calls. Built agent-native: every operation returns structured results a program can reason over, and agents can drive record/run/get_trace/heal over MCP (pip install flowproof[mcp], run flowproof-mcp).

# calc.flow.yaml
name: Add two numbers
app: calc
steps:
  - Type 5
  - Press plus
  - Type 3
  - Press equals
  - assert: display shows 8
from flowproof import Flow

flow = Flow("calc.flow.yaml")
flow.record()            # performs the flow live, writes the trace
result = flow.run()      # deterministic replay -> RunResult
assert result.passed

Or from the shell: flowproof record calc.flow.yaml, then flowproof run calc.flow.yaml (add --json for the structured report).

The wheel bundles the Rust engine; no separate install. Targets: web (headless Chromium, any OS), Windows desktop via UI Automation, sap (SAP GUI Scripting), vision (pixels-only for Citrix/RDP), and api (no UI — HTTP/SQL assertion flows, any OS).

Status: pre-alpha, in active development. Record→replay, model-grounded authoring, healing with reviewable diffs, suites, run recordings, and the MCP server all work and are tested in CI.

Docs and source: github.com/automators-com/flowproof

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

flowproof-0.16.0.tar.gz (834.6 kB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

flowproof-0.16.0-cp39-abi3-win_amd64.whl (10.3 MB view details)

Uploaded CPython 3.9+Windows x86-64

flowproof-0.16.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (9.1 MB view details)

Uploaded CPython 3.9+manylinux: glibc 2.17+ x86-64

flowproof-0.16.0-cp39-abi3-macosx_11_0_arm64.whl (8.3 MB view details)

Uploaded CPython 3.9+macOS 11.0+ ARM64

File details

Details for the file flowproof-0.16.0.tar.gz.

File metadata

  • Download URL: flowproof-0.16.0.tar.gz
  • Upload date:
  • Size: 834.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for flowproof-0.16.0.tar.gz
Algorithm Hash digest
SHA256 40b379b51a6114a99899ebc8071be052d57901df8a5dec3b5e02304cd8de2323
MD5 9c060dedaa709976aa64b20cd59bab1e
BLAKE2b-256 25d7dea9b93baf1b06425c07ad9c683ab7ec17785c533f8e4e8df2c46fb8e2b1

See more details on using hashes here.

Provenance

The following attestation bundles were made for flowproof-0.16.0.tar.gz:

Publisher: publish.yml on automators-com/flowproof

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file flowproof-0.16.0-cp39-abi3-win_amd64.whl.

File metadata

  • Download URL: flowproof-0.16.0-cp39-abi3-win_amd64.whl
  • Upload date:
  • Size: 10.3 MB
  • Tags: CPython 3.9+, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for flowproof-0.16.0-cp39-abi3-win_amd64.whl
Algorithm Hash digest
SHA256 f8fba46d0f099ec53944c434d9c6caadfc6faa5c57039b61079ae0d4ecd2982c
MD5 8048d1160b8d72db8b0f2dccbad3f771
BLAKE2b-256 f63b5fd1b6c5bfc9bd10878181ccf374d9b1a156a6db2a025b1dec7bee655ccf

See more details on using hashes here.

Provenance

The following attestation bundles were made for flowproof-0.16.0-cp39-abi3-win_amd64.whl:

Publisher: publish.yml on automators-com/flowproof

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file flowproof-0.16.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for flowproof-0.16.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 b2c67456758259245d20d81ffba39da60407112497a26727444236652ad9a631
MD5 f6f5fd9d93f6f3b4dabc804abd54869d
BLAKE2b-256 2981a3705e8591de247c8588e1348d597a89c0e620cfaf92921aed46a53e07a1

See more details on using hashes here.

Provenance

The following attestation bundles were made for flowproof-0.16.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: publish.yml on automators-com/flowproof

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file flowproof-0.16.0-cp39-abi3-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for flowproof-0.16.0-cp39-abi3-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 81fd8b99a0d9d0211402de8ecaeec0fd7a9221cc65cf371f589090f9f01662a2
MD5 32e44b43088b5473772cdcb11d8abcfe
BLAKE2b-256 1714ec3cff3c9245f8ad688ef359e07cafdec458b2564cd281359736c3b78960

See more details on using hashes here.

Provenance

The following attestation bundles were made for flowproof-0.16.0-cp39-abi3-macosx_11_0_arm64.whl:

Publisher: publish.yml on automators-com/flowproof

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page