indexo.dev

aartifact.org

.org crawl

First seen 2026-05-02 · Last seen 2026-05-02 · ok HTTP/1.1 200 424 ms crawled 2026-05-08

US · 185.199.111.153 · AS54113 Fastly, Inc.

Reputation 87/100 weak security headers no dmarc policy

sector tech type homepage

HTML metadata

Title
Usability in Formal Verification and Aartifact
Description
Usability in Formal Verification and Aartifact
Language
en

Technology

CDN
Fastly
Server
GitHub.com
Analytics
  • Google Tag Manager
Fonts
  • Google Fonts

Third-party hosts loaded (4)

  • cdnjs.cloudflare.com×2
  • maxcdn.bootstrapcdn.com×2
  • fonts.googleapis.com×1
  • www.googletagmanager.com×1

Social

Registration

Registrar
NameCheap, Inc.
Created
2009-12-22
Expires
2027-12-22 582 days left
Updated
2026-03-23
Name servers
  • dns1.registrar-servers.com
  • dns2.registrar-servers.com

DNS records live

NS
  • dns1.registrar-servers.com
  • dns2.registrar-servers.com
MX
  • 10 eforward1.registrar-servers.com
  • 10 eforward2.registrar-servers.com
  • 10 eforward3.registrar-servers.com
  • 15 eforward4.registrar-servers.com
  • 20 eforward5.registrar-servers.com

Email authentication weak

SPF
v=spf1 include:spf.efwd.registrar-servers.com ~all
softfail (~all)
DMARC
not published
DKIM
no key found at common selectors

Certificate (current)

R13
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://aartifact.org/

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

Links to (11)

Linked from (1)