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: beta, 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
1 maintainer
Release files for flowproof 0.23.15
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| flowproof-0.23.15.tar.gz | 1.0 MB | Details |
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| flowproof-0.23.15-cp39-abi3-win_amd64.whl | CPython 3.9 | abi3 | Windows x86-64 | Details |
| flowproof-0.23.15-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl | CPython 3.9 | abi3 | Linux glibc 2.17+ x86-64 | Details |
| flowproof-0.23.15-cp39-abi3-macosx_11_0_arm64.whl | CPython 3.9 | abi3 | macOS 11.0+ ARM64 | Details |
Total release size: 31.9 MB
Release files / flowproof-0.23.15.tar.gz
| Download URL | flowproof-0.23.15.tar.gz |
|---|---|
| Size | 1.0 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
10c8d82b3cefc3cc2818b4593ef7939d13dba6f331865afe5ebe7b5581499c9a
|
|
BLAKE2b-256 checksum How to use checksums |
89f7efb4ec1106aff0303ab8e8771198517d1accc3a9b61b9b2472b40cc290f3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 24, 2026.
Transparency logRelease files / flowproof-0.23.15-cp39-abi3-win_amd64.whl
| Download URL | flowproof-0.23.15-cp39-abi3-win_amd64.whl |
|---|---|
| Size | 11.3 MB |
| Tags | CPython 3.9 Windows x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
3b749e17a644c0f3e8e89f728ac278e1e37f75bcb221bb42fdf880b32d31c5aa
|
|
BLAKE2b-256 checksum How to use checksums |
995feca6061bf50e1fc9224891fc3f7d4202190c9483752503786bc07d3a6e43
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 24, 2026.
Transparency logRelease files / flowproof-0.23.15-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | flowproof-0.23.15-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 10.2 MB |
| Tags | CPython 3.9 Linux glibc 2.17+ x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
a40719b7895e447ce1b5f7954a96fd9b4a729489515b080aa6c1ed4798a43388
|
|
BLAKE2b-256 checksum How to use checksums |
5298451894e5498c1d13391c03070228c1dd32955d4186db2423db19dd924470
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 24, 2026.
Transparency logRelease files / flowproof-0.23.15-cp39-abi3-macosx_11_0_arm64.whl
| Download URL | flowproof-0.23.15-cp39-abi3-macosx_11_0_arm64.whl |
|---|---|
| Size | 9.3 MB |
| Tags | CPython 3.9 abi3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
be219e217c5d7366533790087304992ac169d41d80e6bbeb2a62f65dccc5ef38
|
|
BLAKE2b-256 checksum How to use checksums |
58665588418fce5aa4645a5b898d76e32fb36a19a32406c1c5c4f00421a495db
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 24, 2026.
Transparency log
