lean.lang.org

Service Outage

Global Availability Hash: 0x8d353ce6 Network Integrity: 0%

Network Layer IP

208.91.197.128

Global Avg Latency

1494ms

Edge Node 01

Code: 502

London, UK

133ms

DNS LOOKUP

2219ms

CONNECT

DOWN

Edge Node 02

Code: 502

New York, USA

86ms

DNS LOOKUP

1170ms

CONNECT

DOWN

Edge Node 03

Code: 502

Tokyo, Japan

53ms

DNS LOOKUP

1094ms

CONNECT

DOWN

Verification Protocol Sec-01

Independent Verification Result for lean.lang.org

This check was executed by our distributed monitoring mesh. By routing requests through independent edge nodes, we eliminate local ISP congestion and regional DNS issues to provide a definitive status for lean.lang.org.

Timestamp

2026.05.18 15:04:55 UTC

Engine

V3.1.2_NODE

Method

TCP/HANDSHAKE

Confidence

99.9% HIGH