agda.lang.org

Service Outage

Global Availability Hash: 0x507f91f6 Network Integrity: 0%

Network Layer IP

208.91.197.128

Global Avg Latency

337ms

Edge Node 01

Code: SSL_ERR

London, UK

110ms

DNS LOOKUP

408ms

CONNECT

DOWN

SSL/TLS HANDSHAKE FAILED

Edge Node 02

Code: SSL_ERR

New York, USA

78ms

DNS LOOKUP

468ms

CONNECT

DOWN

SSL/TLS HANDSHAKE FAILED

Edge Node 03

Code: SSL_ERR

Tokyo, Japan

11ms

DNS LOOKUP

137ms

CONNECT

DOWN

SSL/TLS HANDSHAKE FAILED

Verification Protocol Sec-01

Independent Verification Result for agda.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 agda.lang.org.

Timestamp

2026.05.18 12:44:20 UTC

Engine

V3.1.2_NODE

Method

TCP/HANDSHAKE

Confidence

99.9% HIGH