Is Theorem down?

What works right now

• ●UpWebsiteYes: Theorem answers a plain request.200 in 1.9 s

Failing for you? Check whether it is you

1. Is it you?

   If our checks are green, try another network or a fresh session; a 401 or 403 usually means a key or login problem, not an outage.

What to do while Theorem is down

When Theorem is down, Program verification so even your systems engineers can vibecode may be slow or unavailable. Our probes check it every 5 minutes from Vercel iad1 (US East).

1. Check the official page

   Theorem posts incidents and news on its own site: theorem.dev.

2. Retry with backoff

   Short blips usually clear within a few minutes; retry with exponential backoff instead of a tight loop.

Last 24 hours

Last 30 days

Incident timeline

Outages our checks saw, and incidents from the official status page, newest first.

1. No incidents recorded yet.

   Failed checks and official incidents will show here as they happen.

Official status

The official page: https://theorem.dev/.

Get alerts, or show it in your README

Follow the RSS feed of Theorem incidents in any reader, or paste this badge into a README; it updates itself.

[![Theorem status](https://tensorust-status.vercel.app/api/badge?id=theorem)](https://tensorust.com/status/theorem/)

How we check Theorem

Every 5 minutes, from Washington, D.C., with no API key. A failed check is retried once after 2 seconds before it counts; Theorem is down when every critical check fails, and degraded when some do or the official page reports a problem.

• https://theorem.dev/: Theorem website answering.

Other services