indexo.dev

ocamlpro.com

.com crawl

First seen 2026-05-11 · Last seen 2026-05-16 · ok HTTP/1.1 200 3609 ms crawled 2026-05-16

FR · 188.165.227.172 · AS16276 OVH SAS

Reputation 87/100 weak security headers no dmarc policy

Classifying

HTML metadata

Title
Expert Solutions for Complex Challenges | OCamlPro
Description
OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.
Language
en
Translations
  • en
  • fr

Open Graph

title
Expert Solutions for Complex Challenges
description
OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.

Technology

Server
nginx

Social

Contact

Email
Phone
Address
rue de Châtillon, 75014

Registration

Registrar
Gandi SAS
Created
2009-09-30
Expires
2030-09-30 1595 days left
Updated
2025-08-27
Name servers
  • ns-152-a.gandi.net
  • ns-63-c.gandi.net
  • ns-86-b.gandi.net

DNS records live

NS
  • ns-152-a.gandi.net
  • ns-63-c.gandi.net
  • ns-86-b.gandi.net
MX
  • 1 smtp.google.com
TXT
  • google-site-verification=Tk9ZnIqblD2nACz1XlLkF2Z8cUtLa4AgzLbXsIWPv2s
  • google-site-verification=Jojef9bwqyHiE1z-2iUKD2FalCaH8PLuJ3kByk-nfKs
  • google-site-verification=DWyDH31df3K9U8D3Ac-cDEwue0AnaU4Li7Xk65YWYxk

Email authentication weak

SPF
v=spf1 mx ip6:2001:41d0:0002:569a::/64 a include:spf.runbox.com include:_spf.google.com ~all
softfail (~all)
DMARC
not published
DKIM
  • google: v=DKIM1; k=rsa; p=MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApDTdntG9iJfna4SgWXzcwObTQX693e+lB4xGTfRCo5ZnaRwFHOSo2EUY2t5WT/TkxonLvJY3S2cAW0…
selectors probed

Certificate (current)

R13
from 2026-03-28 to 2026-06-27
Expires in 39 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://ocamlpro.com/

findings
  • missing HSTS
  • missing Content Security Policy
  • missing frame protection
  • missing content type protection
  • missing Referrer Policy
  • missing Permissions Policy

Links to (32)

Linked from (1)