indexo.dev

taco-mc.dev

.dev crawl

First seen 2026-04-29 · Last seen 2026-05-19 · ok HTTP/1.1 200 546 ms crawled 2026-05-07

US · 185.199.111.153 · AS54113 Fastly, Inc.

Reputation 95/100 weak security headers

Classifying

HTML metadata

Title
TACO Toolsuite
Description
"TACO is an automatic verification toolsuite for the development and \ verification of fault-tolerant and threshold-based distributed algorithms."
Language
en
Generator
mystmd

Open Graph

title
TACO Toolsuite
description
"TACO is an automatic verification toolsuite for the development and \ verification of fault-tolerant and threshold-based distributed algorithms."

Technology

CDN
Fastly
Server
GitHub.com

Third-party hosts loaded (2)

  • cdn.jsdelivr.net×2
  • cdnjs.cloudflare.com×1

Social

DNS records live

NS
  • annabel.ns.cloudflare.com
  • karl.ns.cloudflare.com
TXT
  • google-site-verification=clHxeeoXjPeD9YdpgrW3Hg3vwGlkKMfE6vCwQy5PkfE

Email authentication no MX

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

Certificate (current)

R12
from 2026-03-20 to 2026-06-18
Expires in 30 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://taco-mc.dev/

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

Links to (6)

Linked from (1)