flowproof Open source · Beta · Apache-2.0
Create tests with agents. Build your Tosca coverage.
Agents author the flow. Flowproof replays it without model calls. An Automators pilot brings it into native Tricentis Tosca.
Discuss a Tosca pilotFlowproof desktop
Every flow, its recording and its last replay. One engine per surface, any application behind it.
- Web
- SAP GUI
- Fiori
- Windows UI Automation
- Citrix / RDP via OCR
- HTTP + SQL
- AI agents
From a manual test to your Tosca suite.
- Start with a business process from your backlog.
- Agents automate it against the real app. Flowproof replays it without model calls.
- An Automators pilot brings it into native Tosca modules and test cases.
Service, not a built-in exporter. The Tosca handover is scoped and validated in the pilot.
Prove the whole workflow.
One representative process, executed in your Tosca workspace and compared with authoring it in Tosca directly.
Migrating a legacy suite instead? See Agentic Migrator
An SAP purchase order, for example.
- Create an order with the agreed supplier and material.
- Verify the saved values and generated order number.
- Check that an invalid input is rejected.
Scope example, not a published customer result.
Open source. With a delivery team behind it.
Use Flowproof independently under Apache-2.0, or run a pilot with Automators.
pip install flowproof npx flowproof --version