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.19.0.tar.gz (842.2 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.19.0-cp39-abi3-win_amd64.whl (10.3 MB view details)

Uploaded CPython 3.9+Windows x86-64

flowproof-0.19.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.19.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.19.0.tar.gz.

File metadata

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

File hashes

Hashes for flowproof-0.19.0.tar.gz
Algorithm Hash digest
SHA256 ee56592043a1fa09fdda734b066a65f2b9076647ec9477ab97939c9c5bed54cf
MD5 8c2375db17e1c45c5e2741ecc59d97fe
BLAKE2b-256 6202927902740217ff6154ed7bfdf18aa0e8f6816bebbe0e91abbadd057687d1

See more details on using hashes here.

Provenance

The following attestation bundles were made for flowproof-0.19.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.19.0-cp39-abi3-win_amd64.whl.

File metadata

  • Download URL: flowproof-0.19.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.19.0-cp39-abi3-win_amd64.whl
Algorithm Hash digest
SHA256 e57cbb9875a9e4e8fd3716ba40f42545037f82cea6b38747906afd2b591560c4
MD5 f775c78023101e0f12509c0af73df550
BLAKE2b-256 afd9743fc2a25be198d3e32acaa3e4c6066e19b06ad5400b5fc0104bafb6ebf5

See more details on using hashes here.

Provenance

The following attestation bundles were made for flowproof-0.19.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.19.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for flowproof-0.19.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 d82ce7449d2869ab4443a38ed9f41dc092dd82161400644a451d31bf76ed6c5d
MD5 2c378f9738caaf1356bc5ce48636d600
BLAKE2b-256 54e5f31885ae5cea8d8fe74248dfbc68c11c187d656872e60138dcfa95ade578

See more details on using hashes here.

Provenance

The following attestation bundles were made for flowproof-0.19.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.19.0-cp39-abi3-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for flowproof-0.19.0-cp39-abi3-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 131bb73449c7c5a135bc1906048d71b1df3967dfeb34351318e5a19d76650505
MD5 0271499568b2e01ce089ce406ea20a65
BLAKE2b-256 809cd9fe17d647ccbc84750e464aa366390cbe23470272ba01acbc47b7c4cebe

See more details on using hashes here.

Provenance

The following attestation bundles were made for flowproof-0.19.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