indexo.dev

compcert.org

.org crawl

First seen 2026-04-17 · Last seen 2026-05-15 · ok HTTP/1.1 200 1571 ms crawled 2026-05-12

US · 185.199.109.153 · AS54113 Fastly, Inc.

Reputation 87/100 weak security headers no dmarc policy

Classifying

HTML metadata

Title
CompCert - Main page

Technology

CDN
Fastly
Server
GitHub.com
Analytics
  • Cloudflare Insights

Third-party hosts loaded (2)

  • cdnjs.cloudflare.com×1
  • static.cloudflareinsights.com×1

Social

Registration

Registrar
Gandi SAS
Created
2020-10-26
Expires
2026-10-26 160 days left
Updated
2025-09-01
Name servers
  • ns-114-c.gandi.net
  • ns-67-b.gandi.net
  • ns-69-a.gandi.net

DNS records live

NS
  • ns-114-c.gandi.net
  • ns-67-b.gandi.net
  • ns-69-a.gandi.net
MX
  • 10 spool.mail.gandi.net
  • 50 fb.mail.gandi.net
TXT
  • google-site-verification=BqHFViSXpUo4SSNb4OvnbDZ_lkFmAB5a8CNluM8RBck

Email authentication weak

SPF
v=spf1 include:_mailcust.gandi.net ?all
neutral (?all)
DMARC
not published
DKIM
no key found at common selectors

Certificate (current)

R13
from 2026-04-29 to 2026-07-28
Expires in 70 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://compcert.org/

findings
  • missing HSTS
  • missing Content Security Policy
  • missing frame protection
  • missing content type protection
  • missing Referrer Policy
  • missing Permissions Policy

Links to (13)

Linked from (2)