Imandra · Domain Security

Imandra Domain Security

Domain security

Domain security posture for Imandra, probed live across 3 host(s) and 2 registrable domain(s). 3 host(s) serve HTTPS (up to TLSv1.3); 1 advertise HSTS. Email/DNS controls: DNSSEC absent, SPF present, DMARC present (p=none).

CompanyAiAutomated ReasoningFormal VerificationTheorem ProvingDeveloper ToolsCode AnalysisFinancial ServicesgRPCMCP

Transport & Host Security

www.imandra.ai

HTTPS: yes · TLS: TLSv1.3 · HSTS: yes · cert expires: Sep 5 19:23:00 2026 GMT

imandrax.dev

HTTPS: yes · TLS: TLSv1.3 · HSTS: no · cert expires: Sep 14 01:32:20 2026 GMT

universe.imandra.ai

HTTPS: yes · TLS: TLSv1.3 · HSTS: no · cert expires: Sep 5 19:23:00 2026 GMT

Domain (DNS/Email) Security

imandra.ai

DNSSEC: no · SPF: yes · DMARC: yes (p=none) · CAA: none

imandrax.dev

DNSSEC: no · SPF: no · DMARC: yes (p=quarantine) · CAA: none

Source

Domain Security

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