indexo.dev

dafny.org

.org crawl

First seen 2026-04-14 · Last seen 2026-05-07 · ok HTTP/1.1 200 175 ms crawled 2026-05-08

US · 185.199.108.153 · AS54113 Fastly, Inc.

Reputation 87/100 weak security headers no dmarc policy

Classifying

HTML metadata

Title
Dafny
Description
The Dafny Programming and Verification Language and tools.
Language
en

Open Graph

url
https://dafny.org
title
Dafny
description
The Dafny Programming and Verification Language and tools

Technology

CDN
Fastly
Server
GitHub.com

Social

Registration

Registrar
Gandi SAS
Created
2018-01-23
Expires
2027-01-23 248 days left
Updated
2025-11-01
Name servers
  • ns-100-a.gandi.net
  • ns-40-b.gandi.net
  • ns-62-c.gandi.net

DNS records live

NS
  • ns-100-a.gandi.net
  • ns-40-b.gandi.net
  • ns-62-c.gandi.net
MX
  • 10 spool.mail.gandi.net
  • 50 fb.mail.gandi.net

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)

R12
from 2026-04-30 to 2026-07-29
Expires in 71 days

Full certificate history on crt.sh ↗

HTTP security headers

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

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

Links to (4)

Linked from (1)