indexo.dev

smt-lib.org

.org crawl

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

US · 185.199.111.153 · AS54113 Fastly, Inc.

Reputation 87/100 weak security headers no dmarc policy

sector tech type docs

HTML metadata

Title
SMT-LIB The Satisfiability Modulo Theories Library

Technology

CDN
Fastly
Server
GitHub.com

Registration

Registrar
GoDaddy.com, LLC
Created
2006-08-25
Expires
2027-08-25 462 days left
Updated
2024-10-09
Name servers
  • ns39.domaincontrol.com
  • ns40.domaincontrol.com

DNS records live

NS
  • ns39.domaincontrol.com
  • ns40.domaincontrol.com
MX
  • 0 smtp.secureserver.net
  • 10 mailstore1.secureserver.net

Email authentication weak

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

Certificate (current)

R13
from 2026-04-07 to 2026-07-06
Expires in 48 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://smt-lib.org/

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

Links to (2)

Linked from (1)