cocotec.io
cocotec.io is a live English-language website hosted on Google LLC (AS396982) in the United States, served by Uploadserver. cl0q first saw it on 2025-08-25 and last crawled it on 2026-06-19. It resolves to 34.98.105.54 and has mail (MX) records set up. We've seen 3 of its subdomains, listed below. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
Cocotec - Formal verification
Tools for building software you can rely on
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-08-25 |
| Last crawled | 2026-06-19 |
| IPv4 | 34.98.105.54 |
| IPv6 | 2600:1901:0:2f47:: |
| Network | AS396982 Google LLC · United States |
| CNAME | cocotec.io |
| Mail (MX) | cocotec-io.mail.protection.outlook.com. |
| Language | en |
| Server | UploadServer |