Turn binding rules into judge-ready proof.
ProofFlow reads the fine print, inspects the actual build, verifies live evidence, and locks a submission ledger—without another spreadsheet.
Rules → requirements → evidence → action pack
E
V
L
Launch an evidence run
One bounded workflow. Four autonomous actions. A durable result.
Read and fingerprint the binding rules
Extract material obligations with Gemini
Probe the repository and live deployment
Persist an evidence ledger in Firestore
Your proof map will land here.
Run the agent to replace assumptions with traceable requirements, verified artifacts, and next actions.
Built for auditable autonomy
Every model judgment stays attached to deterministic evidence.
Rules · GitHub · deployment
Structured requirement reasoning
Durable evidence ledger
Missing evidence is never rewritten as confidence.
Allowlisted public sources and daily capacity limits.
Every run exports a judge-readable Markdown pack.