lean4.ai
lean4.ai is a live English-language website hosted on Amazon.com, Inc. (AS14618) in the United States, served by Apache. cl0q first saw it on 2026-07-04 and last crawled it on 2026-10-16. It resolves to 3.87.54.108. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
Lean4.ai
Lean Manifests and l3m: compiler-enforced evidence levels and a verified coding agent, built on Lean 4.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-07-04 |
| Last crawled | 2026-10-16 |
| IPv4 | 3.87.54.108 |
| Network | AS14618 Amazon.com, Inc. · United States |
| Language | en |
| Server | Apache/2.4.52 (Ubuntu) |