mathlib-initiative.org

.org crawl

First seen 2026-04-11 · Last seen 2026-05-19 · ok HTTP/1.1 200 529 ms crawled 2026-05-19

DE · 63.176.8.218 · AS16509 Amazon.com, Inc.

Reputation 92/100 no dmarc policy

Classifying

HTML metadata

Title: Mathlib Initiative
Description: The Mathlib Initiative supports the development of mathematical libraries in the Lean theorem prover.
Language: en

Open Graph

url: https://mathlib-initiative.org
title: The Mathlib Initiative
site name: Mathlib Initiative

Technology

CDN: Netlify
CMS: Gatsby

Analytics

Plausible

Fonts

Google Fonts

Third-party hosts loaded (5)

cdn.jsdelivr.net×4
fonts.googleapis.com×2
fonts.gstatic.com×1
plausible.io×1
www.netlify.com×1

Social

Registration

Registrar

Squarespace Domains LLC

Created

2025-06-27

Expires

2026-06-27 38 days left

Updated

2025-08-07

Name servers

dns1.p03.nsone.net
dns2.p03.nsone.net

DNS records live

NS

dns1.p03.nsone.net
dns2.p03.nsone.net
dns3.p03.nsone.net
dns4.p03.nsone.net

MX

1 smtp.google.com

Verified for

Google

Email authentication weak

SPF: not published
DMARC: not published
DKIM: no key found at common selectors

Certificate (current)

from 2026-04-06 to 2026-07-05

Expires in 46 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 50/100 Checked live page: https://mathlib-initiative.org/

present

strict-transport-security

findings

missing Content Security Policy
missing frame protection
missing content type protection
missing Referrer Policy
missing Permissions Policy

Header values

strict-transport-security: max-age=31536000