QED Proof
Start free
Menu

Proof that the deploy your agent reported is really up

For deploy and rollback agents, on-call runbook agents, status-page updaters.

What's verified today. Verified today: URLs answering as claimed, and the CI run behind the deploy.

The “done” that wasn't

  • The agent said“Deployed; the service is healthy.”

    The destination heldThe health URL answers 503.

  • The agent said“Rolled back to the last good build.”

    The destination heldThe pipeline for that build failed, so nothing rolled.

  • The agent said“The status page is updated.”

    The destination heldThe page still serves yesterday's incident.

What QED Proof reads

  • The URL itself, fetched from our network at a pinned address, for the status the agent claimed.
  • The check runs on the commit the deploy was built from.
http.url.statusgithub.checks.pass

Never the agent's own log, trace or report. If the check can't run — no permission, a timeout, an unsupported action — the verdict is Couldn't check, never Verified.

Send your first claim in a few minutes.