lfglabs.dev
lfglabs.dev is a live English-language website hosted on Amazon.com, Inc. (AS16509) in the United States, served by Vercel. cl0q first saw it on 2026-07-31 and last crawled it on 2026-08-05. It resolves to 76.76.21.21 and has mail (MX) records set up. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
veritylabs | We secure smart contracts with formal verification
Audits give you opinions. We give you certainty. veritylabs formally proves your smart contracts do exactly what they're supposed to using Lean 4 and mathematical proofs.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-07-31 |
| Last crawled | 2026-08-05 |
| IPv4 | 76.76.21.21 |
| Network | AS16509 Amazon.com, Inc. · California |
| Mail (MX) | mail.protonmail.ch,mailsec.protonmail.ch |
| Language | en |
| Server | Vercel |