indexo.dev

leancop.de

.de crawl

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

DE · 194.117.254.54 · AS199753 UD Media GmbH

Reputation 87/100 weak security headers no dmarc policy

Classifying

HTML metadata

Title
leanCoP: Lean Connection-Based Theorem Proving

Technology

Server
Apache

Registration

Updated
2015-06-29
Name servers
  • ns3.powerdns.de.
  • ns4.powerdns.de.

DNS records live

NS
  • ns3.powerdns.de
  • ns4.powerdns.de
MX
  • 10 mail.ud14.udmedia.de

Email authentication weak

SPF
not published
DMARC
not published
DKIM
  • k1: k=rsa; p=MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAonEsC50dP4x/PxU+8W4/TdQZHLvQfvumftGXF7VwjihOd0rHtmMg8vkFcKXmK9pNHKgFTxa/d6+UJXeiUq4gEZn…
selectors probed

Certificate (current)

E8
from 2026-05-28 to 2026-08-26
Expires in 86 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://leancop.de/

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

Links to (4)

Linked from (1)