What powers 
imandra.ai?
Last seen Sep 2026 · 30 technologies across 18 categories
Analytics
Caching
Varnish
since Dec 2025
CDN
Cloudflare
since Jul 2026
Fastly
since Dec 2025
Google Cloud CDN
since Oct 2024
Google Hosted Libraries
since Dec 2025
jsDelivr
since Dec 2025
Font scripts
Font Awesome
since Feb 2023
Google Font API
since May 2021
IaaS
Google Cloud
since Oct 2024
JavaScript frameworks
JavaScript graphics
Recharts
since May 2026
JavaScript libraries
Miscellaneous
PaaS
GitHub Pages
since Dec 2025
Payment processors
Programming languages
Node.js
since Feb 2023
Search engines
Security
Tag managers
Google Tag Manager
since Jul 2021
UI frameworks
Headless UI
since Feb 2023
Webmail
Apple iCloud Mail
since Feb 2023
Widgets
AI Crawlers
Doesn't mention any of the 33 AI crawlers we track in its robots.txt; all are allowed by default. Checked Oct 2026.
- robots.txt found
- llms.txt found
- ai.txt not found
AI Crawlers
No AI crawlers blocked
Standards: llms.txt
Open Page Rank
4.09 / 10 · ranked #509,475 of all domains
55 referring domains · OpenPageRank
Page
- Language: English
- CDN: Google
- Weight: 5.1 MB · 52 requests
- Structured data: JSON-LD, OpenGraph, Twitter Cards
Homepage as crawled by the HTTP Archive, Oct 2026.
Organisation
- Imandra Inc.
- Industry: Software and apps (declares
SoftwareApplication) - Profiles: GitHub, X, LinkedIn, YouTube
From the homepage's own structured data (Oct 2026).
Infrastructure
- Hosted on Google Cloud (34.54.28.209)
- DNS: Google Cloud DNS
- Email: Google Workspace
- Email security: SPF (soft fail), DMARC monitor only
- SSL: Google Trust Services, RSA 2048, wildcard, expires Dec 2026
- Common Crawl link graph: rank 474,218, 9 hosts
- Verified with: Apple Business, Google, Microsoft 365
DNS records as swept Oct 2026, certificate as seen Oct 2026. How the web is hosted
Subdomains
| Host | Techs |
|---|---|
| www.imandra.ai | 20 |
| universe.imandra.ai | 16 |
| docs.imandra.ai | 12 |
Full technology history →
Report an incorrect detection
Recent changes
- dropped Turbopack Sep 2026
- detected Cloudflare Jul 2026
- detected Cloudflare Bot Management Jul 2026
- dropped Tailwind CSS Jul 2026
- detected Linkedin Insight Tag Jun 2026
- dropped Priority Hints Jun 2026
- detected Turbopack Jun 2026
- dropped Google Analytics Jan 2026
- detected Priority Hints Nov 2025