proofcraft.systems
proofcraft.systems is a live English-language website hosted on Akamai Connected Cloud (AS63949) in Australia, served by Apache. cl0q first saw it on 2025-08-22 and last crawled it on 2026-10-12. It resolves to 194.195.120.249 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:
Proofcraft
Commercial support, verification projects, and consulting in formal verification in general and the seL4 microkernel in particular.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-08-22 |
| Last crawled | 2026-10-12 |
| IPv4 | 194.195.120.249 |
| Network | AS63949 Akamai Connected Cloud · Australia |
| CNAME | proofcraft.systems |
| Mail (MX) | proofcraft-systems.mail.protection.outlook.com. |
| Language | en |
| Server | Apache/2.4.58 (Ubuntu) |