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

Development Status
- 2 - Pre-Alpha
Intended Audience
- Developers
Programming Language
- Python :: 3
- Rust
Topic
- Software Development :: Testing

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.13.0.tar.gz (746.4 kB view details)

Uploaded Aug 4, 2026 Source

Built Distributions

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

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

flowproof-0.13.0-cp39-abi3-win_amd64.whl (9.5 MB view details)

Uploaded Aug 4, 2026 CPython 3.9+Windows x86-64

flowproof-0.13.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (8.3 MB view details)

Uploaded Aug 4, 2026 CPython 3.9+manylinux: glibc 2.17+ x86-64

flowproof-0.13.0-cp39-abi3-macosx_11_0_arm64.whl (7.5 MB view details)

Uploaded Aug 4, 2026 CPython 3.9+macOS 11.0+ ARM64

File details

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

File metadata

Download URL: flowproof-0.13.0.tar.gz
Upload date: Aug 4, 2026
Size: 746.4 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for flowproof-0.13.0.tar.gz
Algorithm	Hash digest
SHA256	`d413f2c10a142b2422935c4edbaeae31e31f8c2e04b4bf6c9b85f4880b2450f8`
MD5	`c13a881d2c7837e2e0e460b9c248fb9d`
BLAKE2b-256	`6236e841965fcc30d6a1d1a379ca4e0b35e56643960b9950d43b92eaf2350992`

See more details on using hashes here.

Provenance

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: flowproof-0.13.0.tar.gz
- Subject digest: d413f2c10a142b2422935c4edbaeae31e31f8c2e04b4bf6c9b85f4880b2450f8
- Sigstore transparency entry: 2341503603
- Sigstore integration time: Aug 4, 2026
Source repository:
- Permalink: automators-com/flowproof@1d08745a30e782e46d0b77d804574693584b6011
- Branch / Tag: refs/heads/main
- Owner: https://github.com/automators-com
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: publish.yml@1d08745a30e782e46d0b77d804574693584b6011
- Trigger Event: workflow_dispatch

File details

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

File metadata

Download URL: flowproof-0.13.0-cp39-abi3-win_amd64.whl
Upload date: Aug 4, 2026
Size: 9.5 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.13.0-cp39-abi3-win_amd64.whl
Algorithm	Hash digest
SHA256	`88d48609f6c7993e953ca2e3dbdb6723815c056f880369aa13def7efb66ab2d4`
MD5	`ef5091cf5e76d820023e089f8bc03972`
BLAKE2b-256	`7169cfbb49c561e9a0e92819715a705d09a6d72c53181288da6dd0aee73498f8`

See more details on using hashes here.

Provenance

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: flowproof-0.13.0-cp39-abi3-win_amd64.whl
- Subject digest: 88d48609f6c7993e953ca2e3dbdb6723815c056f880369aa13def7efb66ab2d4
- Sigstore transparency entry: 2341503620
- Sigstore integration time: Aug 4, 2026
Source repository:
- Permalink: automators-com/flowproof@1d08745a30e782e46d0b77d804574693584b6011
- Branch / Tag: refs/heads/main
- Owner: https://github.com/automators-com
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: publish.yml@1d08745a30e782e46d0b77d804574693584b6011
- Trigger Event: workflow_dispatch

File details

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

File metadata

Download URL: flowproof-0.13.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Aug 4, 2026
Size: 8.3 MB
Tags: CPython 3.9+, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for flowproof-0.13.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`f376881106b92023ff6816479a81903d02e9f5a766b9ffe1a39f1a940caacb9b`
MD5	`4e7ada2c5540c0f0cdc494d25bb65652`
BLAKE2b-256	`5c64c1604ae9794306d752d406b722d55946a2e945db9f07e33d350bcb718151`

See more details on using hashes here.

Provenance

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: flowproof-0.13.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Subject digest: f376881106b92023ff6816479a81903d02e9f5a766b9ffe1a39f1a940caacb9b
- Sigstore transparency entry: 2341503630
- Sigstore integration time: Aug 4, 2026
Source repository:
- Permalink: automators-com/flowproof@1d08745a30e782e46d0b77d804574693584b6011
- Branch / Tag: refs/heads/main
- Owner: https://github.com/automators-com
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: publish.yml@1d08745a30e782e46d0b77d804574693584b6011
- Trigger Event: workflow_dispatch

File details

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

File metadata

Download URL: flowproof-0.13.0-cp39-abi3-macosx_11_0_arm64.whl
Upload date: Aug 4, 2026
Size: 7.5 MB
Tags: CPython 3.9+, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for flowproof-0.13.0-cp39-abi3-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`e716cacfbc125566885dfb39fd7859be9b8d94a8a0abd2a65d749f03554a3ec3`
MD5	`1fdf254416d9d094527423088116e071`
BLAKE2b-256	`790836a924a279f4ea7708f3dfd135ba2c7d83ae8ab102c9143bc1c8c8f8b184`

See more details on using hashes here.

Provenance

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: flowproof-0.13.0-cp39-abi3-macosx_11_0_arm64.whl
- Subject digest: e716cacfbc125566885dfb39fd7859be9b8d94a8a0abd2a65d749f03554a3ec3
- Sigstore transparency entry: 2341503636
- Sigstore integration time: Aug 4, 2026
Source repository:
- Permalink: automators-com/flowproof@1d08745a30e782e46d0b77d804574693584b6011
- Branch / Tag: refs/heads/main
- Owner: https://github.com/automators-com
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: publish.yml@1d08745a30e782e46d0b77d804574693584b6011
- Trigger Event: workflow_dispatch

Release history Release notifications | RSS feed

0.14.0

Aug 5, 2026

This release

0.13.0

Aug 4, 2026

0.12.2

Aug 4, 2026

0.12.1

Aug 3, 2026

0.12.0

Aug 2, 2026

0.11.0

Jul 31, 2026

0.10.1

Jul 31, 2026

0.10.0

Jul 31, 2026

0.9.1

Jul 30, 2026

0.9.0

Jul 29, 2026

0.8.0

Jul 27, 2026

0.7.0

Jul 26, 2026

0.6.1

Jul 25, 2026

0.6.0

Jul 25, 2026

0.5.0

Jul 24, 2026

0.4.1

Jul 24, 2026

0.4.0

Jul 24, 2026

0.3.1

Jul 23, 2026

0.3.0

Jul 22, 2026

0.2.5

Jul 22, 2026

0.2.4

Jul 21, 2026

0.2.3

Jul 21, 2026

0.2.2

Jul 21, 2026

0.2.1

Jul 20, 2026

0.2.0

Jul 20, 2026

0.1.0

Jul 19, 2026

0.0.1

Jul 18, 2026

flowproof 0.13.0

flowproof

Project links

Key dates

1 maintainer

Credits

GitHub Statistics

License expression

Requires

Provides Extra

Classifiers

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

Release history Release notifications | RSS feed