Backend unavailable
OP
Workflows›Integrations

OPTIONAL INTEGRATIONS

Connect when ready.

Core verification stays local and free. Credentials only enable publishing.

GH

GitHub Issues

Publish failed-run evidence as an issue. Draft generation works without connection.

Optional
Needs Issues: read and write. Never displayed after save.

GPT-5.6 runs in the execution backend

Reports label live and deterministic seeded output explicitly. Set FLOWPROOF_LLM_MODE=live and OPENAI_API_KEY on Railway to use live GPT-5.6.