runsonwhat

Theorem's tech stack

What does Theorem use?

Theorem (theorem.dev) uses at least 7 tools we can see from public records, including Microsoft 365 for email and documents, Plausible for analytics, Cloudflare for content delivery and Tailscale for security. Last checked .

“Program verification so even your systems engineers can vibecode”

Industry
Engineering, Product and Design
Size
1–10 employees
Based in
San Francisco, United States
Re-check liveVisit theorem.dev
Tools found
7
Categories
6
Layers
5 of 5
Last checked
Oct 2026

Theorem's stack, layer by layer

Each tool links to the other companies we've found using it. The label says what kind of public trace gave it away.

Edge & Hosting

1 tool, where the bytes are served from

CDN & Edge

Application

1 tool, what the product is built with

AI

Data & Observability

1 tool, what they measure and store

Analytics

Go-to-market

1 tool, how they find and keep customers

Marketing

Company Ops

3 tools, what the team runs on day to day

Workspace

Security & Compliance

Companies like Theorem also use

Tools common among companies with a similar stack that we haven't found at Theorem.

Companies with a stack like Theorem's

Ranked by shared tools, with rare tools counting more.

More Engineering, Product and Design companies

Other Engineering, Product and Design companies we've checked.

Theorem tech stack FAQ

What tools does Theorem use?

We've found 7 tools at Theorem (theorem.dev). Edge & Hosting: Cloudflare. Application: Anthropic. Data & Observability: Plausible. Company Ops: Microsoft 365, Google Workspace and Tailscale. Last checked October 2, 2026.

What email provider does Theorem use?

Theorem uses Microsoft 365 and Google Workspace for email and documents. We found Microsoft 365 through DNS verification records.

What analytics tools does Theorem use?

Theorem uses Plausible for analytics. We found Plausible through website code.

Does Theorem use Microsoft 365?

Yes. We found Microsoft 365 at Theorem through DNS verification records. Microsoft 365 is used by 674,699 companies we track.

How does runsonwhat know what Theorem uses?

We read public traces only: Theorem's DNS and email records, certificate logs, the code its website loads, and published subprocessor lists. A tool is listed only when a direct record backs it up. DNS is rechecked weekly and the website monthly.

We read public traces only: DNS and email records, certificate logs, website code and published subprocessor lists. A tool is listed when a direct record backs it up, and dropped when a recheck no longer finds it. Is this your company? See how to opt out.