key-project.org
key-project.org is a live English-language website hosted on Man-da.de GmbH (AS8365) in Germany, served by Apache. cl0q first saw it on 2026-06-16 and last crawled it on 2026-07-08. It resolves to 130.83.165.109 and has mail (MX) records set up. We've seen 2 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:
The KeY Project
The KeY to Software Correctness
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-06-16 |
| Last crawled | 2026-07-08 |
| IPv4 | 130.83.165.109 |
| Network | AS8365 Man-da.de GmbH · Germany |
| Mail (MX) | mx00.udag.de,mx01.udag.de |
| Language | en-US |
| Server | Apache/2.4.67 (Debian) |