indexo.dev

theoremlabs.com

.com ok HTTP/1.1 200 97 ms

First seen 2026-04-14 · Last seen 2026-06-16 · crawled 2026-06-11

US · 104.21.27.179 · AS13335 Cloudflare, Inc.

Reputation 89/100 weak security headers dmarc monitor-only

sector tech type blog

HTML metadata

Title
Theorem
Description
Formal verification and AI — research and engineering from Theorem.
Language
en
Generator
Hugo 0.147.3
Canonical
https://theorem.dev/
Feeds
last post 136 days ago

Open Graph

url
https://theorem.dev/
title
Theorem
site name
Theorem
description
Formal verification and AI — research and engineering from Theorem.

Technology

CDN
Cloudflare
CMS
Hugo 0.147.3
Analytics
  • Cloudflare Insights

Third-party hosts loaded (2)

  • static.cloudflareinsights.com×1
  • theorem.dev×1

Social

Registration

Registrar
Cloudflare, Inc.
Created
2016-10-10
Expires
2027-10-10 476 days left
Updated
2025-07-19
Name servers
  • damon.ns.cloudflare.com
  • novalee.ns.cloudflare.com

DNS records live

NS
  • damon.ns.cloudflare.com
  • novalee.ns.cloudflare.com
MX
  • 1 aspmx.l.google.com
  • 10 alt3.aspmx.l.google.com
  • 10 alt4.aspmx.l.google.com
  • 5 alt1.aspmx.l.google.com
  • 5 alt2.aspmx.l.google.com
TXT
  • TAILSCALE-Y9lxRzjEqHQCY3OyoK9x
Verified for
  • Google

Email authentication partial

SPF
v=spf1 include:_spf.google.com -all
strict (-all)
DMARC
v=DMARC1; p=none; rua=mailto:dmarc@theoremlabs.com
policy: none (monitoring only)
DKIM
  • google: v=DKIM1; k=rsa; p=MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxae9xYl5VBNO0GNK63OvV9//cgVdQo6XN5V2Q11BtCiuQbCfWVO8XgIo8Da2TCbRIGM1V3lt3GcZgw…
selectors probed

Certificate (current)

WE1
from 2026-05-07 to 2026-08-05
Expires in 46 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 45/100 Checked live page: https://theoremlabs.com/

present
  • x-content-type-options
  • referrer-policy
findings
  • missing HSTS
  • missing Content Security Policy
  • missing frame protection
  • missing Permissions Policy
Header values
referrer-policy
strict-origin-when-cross-origin
x-content-type-options
nosniff

Links to (2)

Linked from (2)

Use this data via API

Everything on this page for theoremlabs.com is available as JSON from the indexo.dev REST & MCP API.

curl "https://indexo.dev/api/v1/domains/theoremlabs.com" \
  -H "X-API-Key: idx_..."

Read the docs & get a free key →

Add a badge to your site

Own theoremlabs.com? Show it's tracked on indexo.dev and link visitors straight to this page.

indexo.dev — theoremlabs.com

<a href="https://indexo.dev/theoremlabs.com" target="_blank" rel="noopener">
  <img src="https://indexo.dev/theoremlabs.com/badge.svg" alt="indexo.dev — theoremlabs.com">
</a>