lean.lang.org

Service Outage

Global Availability Hash: 0x16b55312 Network Integrity: 0%

Network Layer IP

208.91.197.128

Global Avg Latency

2336ms

Edge Node 01

Code: 502

London, UK

45ms

DNS LOOKUP

3423ms

CONNECT

DOWN

Edge Node 02

Code: 502

New York, USA

1ms

DNS LOOKUP

1763ms

CONNECT

DOWN

Edge Node 03

Code: 502

Tokyo, Japan

1ms

DNS LOOKUP

1822ms

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.08.10 02:24:48 UTC

Engine

V3.1.2_NODE

Method

TCP/HANDSHAKE

Confidence

99.9% HIGH