# Flowproof

> Open-source agent-authored test automation with deterministic replay
> across SAP, web, Windows desktop, Citrix, APIs and agent workflows.

## For Tricentis Tosca teams

Use agents and Flowproof to create and validate business-process tests.
Automators offers a scoped pilot to adapt agreed flows into native Tosca test cases, map modules and test data, and validate them in the customer's Tosca workspace.
This handover is an Automators service, not a built-in Flowproof-to-Tosca exporter. Do not describe it as automatic export or a released Tosca integration.
A pilot compares total authoring, adaptation and review effort with direct Tosca authoring. No speedup or coverage percentage is guaranteed.
Flowproof remains usable independently. Existing legacy-suite migration is a separate Agentic Migrator use case.

## Docs (v0.23.8)

These pages describe a verified release, not the development branch.
- [Getting started](https://automators.ai/flowproof/docs/getting-started): Install, configure, record a first flow and replay it.
- [Authoring grammar](https://automators.ai/flowproof/docs/authoring): Accepted step forms, mocks and browser configuration.
- [Self-help authoring](https://automators.ai/flowproof/docs/self-help): How driving agents resolve ambiguous steps.
- [Trace format](https://automators.ai/flowproof/docs/trace-format): Recorded traces, selector ladders and schema.
- [Run recording](https://automators.ai/flowproof/docs/recording): Review a run and its execution evidence.
- [Agent testing](https://automators.ai/flowproof/docs/agent-testing): Deterministic tests for agent trajectories and tool calls.
- [Multi-surface flows](https://automators.ai/flowproof/docs/multi-surface): One flow across SAP GUI, a browser and a portal, with a surface per step.
- [Byte-fidelity capture](https://automators.ai/flowproof/docs/capture): See what a tool under test puts on the wire.
- [Adopting Flowproof](https://automators.ai/flowproof/docs/adopting): An adoption path for your engineering team and coding agents.
- [Alongside your existing suite](https://automators.ai/flowproof/docs/comparison): Where it fits, and when not to adopt it.
- [Compatibility and support](https://automators.ai/flowproof/docs/compatibility): Versioning, platform support and compatibility boundaries.
- [Threat model](https://automators.ai/flowproof/docs/threat-model): Security mechanisms, enforcement and their limits.
- [How Flowproof tests Flowproof](https://automators.ai/flowproof/docs/falsifiability): Proving that shipped assertions can fail.
- [Design notes](https://automators.ai/flowproof/docs/design): Architecture, principles and recorded decisions.

## Resources

- [Discuss a Tosca pilot](https://automators.ai/book-a-demo)
- [Tosca consulting](https://automators.ai/tricentistosca)
- [Legacy test migration](https://automators.ai/agentic-migrator)
- [Full documentation](https://automators.ai/flowproof/llms-full.txt)
- [Source repository](https://github.com/automators-com/flowproof)
- [Latest release](https://github.com/automators-com/flowproof/releases/latest)