indexo.dev

lean4.ai

.ai crawl

First seen 2026-04-22 · Last seen 2026-05-13 · ok HTTP/1.1 200 2696 ms crawled 2026-05-16

US · 3.87.54.108 · AS14618 Amazon.com, Inc.

Reputation 95/100 weak security headers

Classifying

HTML metadata

Title
Lean4.ai
Description
Lean Manifests and l3m: compiler-enforced evidence levels and a verified coding agent, built on Lean 4.
Language
en
Canonical
https://lean4.ai/

Open Graph

url
https://lean4.ai/
title
Lean4.ai
description
Lean Manifests and l3m: compiler-enforced evidence levels and a verified coding agent, built on Lean 4.

Technology

Server
Apache

Registration

Registrar
GoDaddy.com, LLC
Created
2024-10-31
Expires
2026-10-31 165 days left
Updated
2025-04-02
Name servers
  • ns43.domaincontrol.com
  • ns44.domaincontrol.com

DNS records live

NS
  • ns43.domaincontrol.com
  • ns44.domaincontrol.com

Email authentication no MX

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

Certificate (current)

R13
from 2026-05-08 to 2026-08-06
Expires in 79 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://lean4.ai/

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 (1)