RUNBOOK BUILDER
Define proof, not scripts.
Start with plain language or bring version-controlled YAML.
Seeded GPT-5.6 mode compiles deterministically. Add OpenAI credentials for live GPT-5.6 compilation.
Credentials stay references. FlowProof resolves secrets at runtime; runbooks never contain raw credentials.