imandrax.dev
imandrax.dev is a live English-language website hosted on Fastly, Inc. (AS54113) in the United States, served by Github.com. cl0q first saw it on 2026-07-15 and last crawled it on 2026-07-23. It resolves to 185.199.110.153. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
ImandraX - Foundational Infrastructure for AI Reasoning
ImandraX is foundational infrastructure for AI reasoning and AI governance — a cloud-native reasoning engine, theorem prover and proof assistant that integrates directly into AI agents and automated workflows.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-07-15 |
| Last crawled | 2026-07-23 |
| IPv4 | 185.199.110.153 |
| Network | AS54113 Fastly, Inc. · California |
| Language | en |
| Server | GitHub.com |