proofmesh.org
proofmesh.org is a live English-language website hosted on Contabo GmbH (AS51167) in France. cl0q first saw it on 2026-09-01 and last crawled it on 2026-09-01. It resolves to 109.199.97.237 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:
ProofMesh | Collaborative Logic
The infinite canvas for collaborative logic. Prove complex theorems together with AI assistance.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-09-01 |
| Last crawled | 2026-09-01 |
| IPv4 | 109.199.97.237 |
| Network | AS51167 Contabo GmbH · France |
| Mail (MX) | eforward3.registrar-servers.com,eforward2.registrar-servers.com,eforward1.registrar-servers.com,eforward4.registrar-servers.com,eforward5.registrar-servers.com |
| Language | en |