indexo.dev

pruvendo.com

.com crawl

First seen 2026-05-27 · Last seen 2026-05-31 · ok HTTP/1.1 200 602 ms crawled 2026-05-30

GB · 185.61.154.25 · AS22612 Namecheap, Inc.

Reputation 89/100 weak security headers dmarc monitor-only

sector tech type homepage

HTML metadata

Title
Pruvendo - Formal Verification for Smart Contracts
Description
Pruvendo provides deductive formal verification for smart contracts, ensuring mathematical proof of correctness for blockchain systems.
Language
en
Canonical
https://pruvendo.com

Open Graph

url
https://pruvendo.com
title
Home
description
Pruvendo provides deductive formal verification for smart contracts, ensuring mathematical proof of correctness for blockchain systems.

Technology

Server
LiteSpeed
jQuery
1.10.2 known XSS (<3.5)
Analytics
  • Google Tag Manager

Third-party hosts loaded (6)

  • fonts.tildacdn.com×1
  • js-eu1.hs-scripts.com×1
  • js-eu1.hsforms.net×1
  • neo.tildacdn.com×1
  • ws.tildacdn.com×1
  • www.googletagmanager.com×1

Social

Contact

Email
Phone

Registration

Registrar
NameCheap, Inc.
Created
2018-06-11
Expires
2027-06-11 372 days left
Updated
2026-05-12
Name servers
  • dns1.namecheaphosting.com
  • dns2.namecheaphosting.com

DNS records live

NS
  • dns1.namecheaphosting.com
  • dns2.namecheaphosting.com
MX
  • 1 aspmx.l.google.com
  • 10 alt3.aspmx.l.google.com
  • 10 alt4.aspmx.l.google.com
  • 5 alt1.aspmx.l.google.com
  • 5 alt2.aspmx.l.google.com
TXT
  • MAltYWlsLnBydXZlbmRvLmNvbS4K
Verified for
  • Google

Email authentication partial

SPF
v=spf1 a mx include:_spf.google.com ~all
softfail (~all)
DMARC
v=DMARC1; p=none
policy: none (monitoring only)
DKIM
  • default: v=DKIM1; k=rsa; p=MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0uyYgPOuBv9ydifNgz0QMWT/zZ0WtJBhGqvSQR8vOm3En9n5X5SbnCFwmOonZkQHs3Sut0BdPWtmSs…
selectors probed

Certificate (current)

Sectigo Public Server Authentication CA DV R36
from 2025-08-13 to 2026-09-14
Expires in 102 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://pruvendo.com/

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

Links to (9)

Linked from (2)