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

Uploaded CPython 3.9+Windows x86-64

flowproof-0.17.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.17.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.17.0.tar.gz.

File metadata

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

File hashes

Hashes for flowproof-0.17.0.tar.gz
Algorithm Hash digest
SHA256 1f6fc5fc2260ac406b7c523fb8c689281a8e2525188e72b69c4aebd952f7ea30
MD5 83985f6e774bf69a043c325f0bc7b797
BLAKE2b-256 b9f9d92f9dba0d2700d2b94f536cd74945dc22a08367e17ff882ab4005d05f74

See more details on using hashes here.

Provenance

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

File metadata

  • Download URL: flowproof-0.17.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.17.0-cp39-abi3-win_amd64.whl
Algorithm Hash digest
SHA256 bee95ba7f7311436306c3b8c941740ab2818841dbb5f07ec3721cd071a09ebc9
MD5 f33a63fc9cf6595d19e9b7956f223f85
BLAKE2b-256 ba5f4963b724b63cdce8e9101c20e213bc3e252dca21951b18591988883aec81

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for flowproof-0.17.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 eed82e8f3523daa6f1b0201218c8785e176d0b59f8b6ffbbb74cf13cdfc2ed33
MD5 13575694c87f0eeb9f661a39a29eb123
BLAKE2b-256 e76bdb5173426b1ee2a9c1f42ff79eb7f36f19c460bb0b59bacc63a001726d81

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for flowproof-0.17.0-cp39-abi3-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 6d97c7c87073b8c9fc709fdf0ed9b641ceec1d3343d0207c4b8ba34b8fb9f95c
MD5 3a66d9c04bb0b8906c6e0d4200815c8a
BLAKE2b-256 e7652c7011cab3225fd7a91c1d2eb58d25f25cf7be7358545dfbc1ad5cc4170a

See more details on using hashes here.

Provenance

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