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: 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

Release files for flowproof 0.23.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for flowproof 0.23.0
File Size Uploaded
flowproof-0.23.0.tar.gz 984.2 kB Details

Built distributions (wheels)

Table of built distributions (wheels) for flowproof 0.23.0
File Interpreter ABI Platform
flowproof-0.23.0-cp39-abi3-win_amd64.whl CPython 3.9 abi3 Windows x86-64 Details
flowproof-0.23.0-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.0-cp39-abi3-macosx_11_0_arm64.whl CPython 3.9 abi3 macOS 11.0+ ARM64 Details

Total release size: 31.0 MB

Release files / flowproof-0.23.0.tar.gz

Download URL flowproof-0.23.0.tar.gz
Size 984.2 kB
Tags Source
SHA-256 checksum
How to use checksums
9ff0cac85b622b43ee048f9102afc9a657239fb6ceee97ae8d4af640f9af2185
BLAKE2b-256 checksum
How to use checksums
5642423a360689665453d57f59ca3bf5081e841649c2c13854be343e35ce1997
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 14, 2026.

Transparency log

Release files / flowproof-0.23.0-cp39-abi3-win_amd64.whl

Download URL flowproof-0.23.0-cp39-abi3-win_amd64.whl
Size 11.1 MB
Tags CPython 3.9 Windows x86-64 abi3
SHA-256 checksum
How to use checksums
b055ef24e5b36cbec5018621bddf9f48901cc52475ebe48710b0fcf99728f109
BLAKE2b-256 checksum
How to use checksums
e6ca0e560eebbe61c66e7ecdd2f2e0c654a1c7e15dd901477b476d90f92cd009
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 14, 2026.

Transparency log

Release files / flowproof-0.23.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Download URL flowproof-0.23.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Size 9.9 MB
Tags CPython 3.9 Linux glibc 2.17+ x86-64 abi3
SHA-256 checksum
How to use checksums
509eeb0d6cd7c885083fbf41a781764980f307fe7c1efc54cc3cef0201e8fd9e
BLAKE2b-256 checksum
How to use checksums
8f7971513d43776db7b5017dc32d7fea9b624a5aa3899f607d5dcb2029ea76cf
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 14, 2026.

Transparency log

Release files / flowproof-0.23.0-cp39-abi3-macosx_11_0_arm64.whl

Download URL flowproof-0.23.0-cp39-abi3-macosx_11_0_arm64.whl
Size 9.0 MB
Tags CPython 3.9 abi3 macOS 11.0+ ARM64
SHA-256 checksum
How to use checksums
546335b50584ae49a113b7d9da2b9ad5e95e418c7732cc0c5c16568ae4eff50f
BLAKE2b-256 checksum
How to use checksums
a19e6ff0af55593648f5c2a00a09b4b06e221286bdbb0addd63a6e80b485ca2d
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 14, 2026.

Transparency log

Release history Release notifications | RSS feed

0.23.9

4 release files

0.23.8

4 release files

0.23.7

4 release files

0.23.6

4 release files

0.23.5

4 release files

0.23.4

4 release files

0.23.3

4 release files

0.23.2

4 release files

0.23.1

4 release files

This release

0.23.0 This release

4 release files

0.20.0

4 release files

0.11.0

4 release files

0.10.1

4 release files

0.10.0

4 release files

0.9.1

4 release files

0.9.0

4 release files

0.8.0

4 release files

0.7.0

4 release files

0.6.1

4 release files

0.6.0

4 release files

0.5.0

4 release files

0.4.1

4 release files

0.4.0

4 release files

0.3.1

4 release files

0.3.0

4 release files

0.2.5

4 release files

0.2.4

4 release files

0.2.3

4 release files

0.2.2

4 release files

0.2.1

4 release files

0.2.0

4 release files

0.1.0

4 release files

0.0.1

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page