Since June 18, 2024, the operability of lean.sh has been checked 3 times over the past 160 days. Based on checks conducted as of November 25, 2024, lean.sh was found to be either unreachable or encountering problems. Tests performed as of November 25, 2024, indicate that there was no downtime for lean.sh. The 3 responses that encountered errors included the latest error, which was coded as 403 and occurred on June 18, 2024. The June 18, 2024, response contrasted, being 0.018 seconds for lean.sh against its 0.026 seconds average.