ordocode.ai
ordocode.ai is a live English-language website hosted on Cogent Communications, LLC (AS174) in the United States, served by Nginx. cl0q first saw it on 2026-10-31 and last crawled it on 2026-10-31. It resolves to 206.42.104.224 and has mail (MX) records set up.
How the site describes itself:
OrdoCode — From your idea to a formally verified smart contract
Describe what your smart contract should do. OrdoCode turns your requirements into a precise specification, production-ready Solidity code, automated tests, and formal proofs of the properties that matter most.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-10-31 |
| Last crawled | 2026-10-31 |
| IPv4 | 206.42.104.224 |
| Network | AS174 Cogent Communications, LLC · United States |
| CNAME | ordocode.ai |
| Mail (MX) | smtp.google.com. |
| Language | en |
| Server | nginx |