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

Uploaded CPython 3.9+Windows x86-64

flowproof-0.16.1-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.1-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.1.tar.gz.

File metadata

  • Download URL: flowproof-0.16.1.tar.gz
  • Upload date:
  • Size: 834.8 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.1.tar.gz
Algorithm Hash digest
SHA256 1f7222d65ac28c40e559470168b31196fbd8dd6c5da3051185e45b97e78226cd
MD5 2058dc2bbe8899a90d3e78b1007e530d
BLAKE2b-256 009bb4edc7f89785880712ab0121255977ab59491b688e105a648ab7a2b98277

See more details on using hashes here.

Provenance

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

File metadata

  • Download URL: flowproof-0.16.1-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.1-cp39-abi3-win_amd64.whl
Algorithm Hash digest
SHA256 de1ced12918af7fdac07a576fe58dd4e930cdf36ba656b95dafe0ee8f77798e4
MD5 4133b9a0b283b009b2f90b505fb47b78
BLAKE2b-256 fbf8022aeac4cc5766eee1eb3278e5e12a1827d2a8bb2933cc3f4b26668c6427

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for flowproof-0.16.1-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 72d570f8bce6ce140ff3534ca017eb99b60973c00089690ed3668a668742d768
MD5 a55aa4ca0922af9eb77087e123244046
BLAKE2b-256 2d4fc03a7716e645d192cc2c002a3bb3b4b72a99fef8545acebfd52b38ddf496

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for flowproof-0.16.1-cp39-abi3-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 8741289ef4841bcb0f6d22dcb4cb9a691318652e37323bf74a60bd8da5436fe7
MD5 a1b986fd82a9683d11b15be177d92bec
BLAKE2b-256 1803be70c2cc5793956b3aeaae5d29faae9a6c4341033282a21a5da056c73b28

See more details on using hashes here.

Provenance

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