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.15.0.tar.gz (794.1 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.15.0-cp39-abi3-win_amd64.whl (9.7 MB view details)

Uploaded CPython 3.9+Windows x86-64

flowproof-0.15.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (8.4 MB view details)

Uploaded CPython 3.9+manylinux: glibc 2.17+ x86-64

flowproof-0.15.0-cp39-abi3-macosx_11_0_arm64.whl (7.7 MB view details)

Uploaded CPython 3.9+macOS 11.0+ ARM64

File details

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

File metadata

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

File hashes

Hashes for flowproof-0.15.0.tar.gz
Algorithm Hash digest
SHA256 7df9fc7285e1d850c88486115c3ec37182e3dceeba92141a309316420d374098
MD5 e3bb23fe8d6b383e40e57ef40d425104
BLAKE2b-256 70165e3cc0cc56174e8e1c79dc62eb8d3bc05ebf38a69844f8858ce459fcbeb1

See more details on using hashes here.

Provenance

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

File metadata

  • Download URL: flowproof-0.15.0-cp39-abi3-win_amd64.whl
  • Upload date:
  • Size: 9.7 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.15.0-cp39-abi3-win_amd64.whl
Algorithm Hash digest
SHA256 7c252c41ed4b47d90df89538f4cecbd0b279d770bbcd53bb2699e5cb1f0d592e
MD5 ae44919da94192479c102bf1b1129ae1
BLAKE2b-256 c3aa8640a5bdc056232fa7f3b70a51b2863c073bce4850a45427cc2b2efe27d7

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for flowproof-0.15.0-cp39-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 2a130d21cb65e993647120c6df932cf139227ac9ad4484b899795367be2e513b
MD5 ce64dbe1a3ceab4da469f736fd578d7d
BLAKE2b-256 c7caddeaa048157b310c0ed88c4ba857b1fcd558d6226eec6fb25c1a81b629ed

See more details on using hashes here.

Provenance

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

File metadata

File hashes

Hashes for flowproof-0.15.0-cp39-abi3-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 e08a7446f0122e625e503c5673ce649500717c6fd27202e48eaebd2d9aa66684
MD5 8f18be7ca89dd18093004e12bd1e244e
BLAKE2b-256 18dc9d8735885c85e9bb8118992ebb58455702d2f12b2208a32479271f13d256

See more details on using hashes here.

Provenance

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