generated: '2026-07-19'
method: probed
source: live DNS/TLS/HTTP probes of apis.yml + OpenAPI hosts
hosts:
- host: www.imandra.ai
  https: true
  tls_version: TLSv1.3
  cert_expires: Sep  5 19:23:00 2026 GMT
  hsts: true
  hsts_max_age: 63072000
- host: imandrax.dev
  https: true
  tls_version: TLSv1.3
  cert_expires: Sep 14 01:32:20 2026 GMT
  hsts: false
- host: universe.imandra.ai
  https: true
  tls_version: TLSv1.3
  cert_expires: Sep  5 19:23:00 2026 GMT
  hsts: null
domains:
- domain: imandra.ai
  dnssec: false
  caa: []
  spf: true
  dmarc: true
  dmarc_policy: none
- domain: imandrax.dev
  dnssec: false
  caa: []
  spf: false
  dmarc: true
  dmarc_policy: quarantine