compcert.org - dns.ninja

compcert.org

DNSSEC⚠️ Not signed
A185.199.108.153🇺🇸 Fastly185.199.108.0/24 GitHub - 185.199.108.0/24
PTRcdn-185-199-108-153.github.com
A185.199.109.153🇺🇸 Fastly185.199.109.0/24 GitHub - 185.199.109.0/24
A185.199.110.153🇺🇸 Fastly185.199.110.0/24 GitHub - 185.199.110.0/24
A185.199.111.153🇺🇸 Fastly185.199.111.0/24 GitHub - 185.199.111.0/24
NSns1.gandi.net ⭐
A2001:4b98:aaaa::2🇫🇷 GANDI-LIVEDNS2001:4b98:aaaa::/48 GANDI is an ICANN accredited registrar and Cloud services provider
PTRns-1-a.gandi.net
A173.246.100.2🇺🇸 GANDI-LIVEDNS173.246.100.0/24 Gandi LiveDNS A
PTRns-1-a.gandi.net
NSns-114-c.gandi.net
A2604:3400:aaac::73🇺🇸 GANDI-LIVEDNS2604:3400:aaac::/48 Gandi US Inc.
PTRns-114-c.gandi.net
A217.70.187.115🇫🇷 GANDI-LIVEDNS217.70.187.0/24 GANDI is an ICANN accredited registrar and Cloud services provider
PTRns-114-c.gandi.net
NSns-67-b.gandi.net
A2001:4b98:aaab::44🇫🇷 GANDI-LIVEDNS2001:4b98:aaab::/48 GANDI is an ICANN accredited registrar GANDI is a virtual server provider for more information: Web: http://www.gandi.net
PTRns-67-b.gandi.net
A213.167.230.68🇫🇷 GANDI-LIVEDNS213.167.230.0/24 GANDI is an ICANN accredited registrar and Cloud services provider
PTRns-67-b.gandi.net
NSns-69-a.gandi.net
A2001:4b98:aaaa::46🇫🇷 GANDI-LIVEDNS2001:4b98:aaaa::/48 GANDI is an ICANN accredited registrar and Cloud services provider
PTRns-69-a.gandi.net
A173.246.100.70🇺🇸 GANDI-LIVEDNS173.246.100.0/24 Gandi LiveDNS A
PTRns-69-a.gandi.net
MXspool.mail.gandi.net ⭐
A2001:4b98:e00::1🇫🇷 GANDI-AS2001:4b98::/32 GANDI is an ICANN accredited registrar GANDI is a virtual server provider for more information: Web: http://www.gandi.net
PTRspool.mail.gandi.net
A217.70.178.1🇫🇷 GANDI-AS217.70.176.0/20 GANDI is an ICANN accredited registrar for more information: Web: http://www.gandi.net
PTRspool.mail.gandi.net
MXfb.mail.gandi.net(50)
A2001:4b98:dc4:8::215🇫🇷 GANDI-AS2001:4b98::/32 GANDI is an ICANN accredited registrar GANDI is a virtual server provider for more information: Web: http://www.gandi.net
PTRspool6.mail.gandi.net
A2001:4b98:dc4:8::216🇫🇷 GANDI-AS2001:4b98::/32 GANDI is an ICANN accredited registrar GANDI is a virtual server provider for more information: Web: http://www.gandi.net
PTRspool7.mail.gandi.net
A2001:4b98:dc4:8::217🇫🇷 GANDI-AS2001:4b98::/32 GANDI is an ICANN accredited registrar GANDI is a virtual server provider for more information: Web: http://www.gandi.net
PTRspool8.mail.gandi.net
A217.70.178.215🇫🇷 GANDI-AS217.70.176.0/20 GANDI is an ICANN accredited registrar for more information: Web: http://www.gandi.net
PTRspool6.mail.gandi.net
A217.70.178.216🇫🇷 GANDI-AS217.70.176.0/20 GANDI is an ICANN accredited registrar for more information: Web: http://www.gandi.net
PTRspool7.mail.gandi.net
A217.70.178.217🇫🇷 GANDI-AS217.70.176.0/20 GANDI is an ICANN accredited registrar for more information: Web: http://www.gandi.net
PTRspool8.mail.gandi.net
TXTgoogle-site-verification=BqHFViSXpUo4SSNb4OvnbDZ_lkFmAB5a8CNluM8RBck
TXTv=spf1 include:_mailcust.gandi.net ?all
SOAns1.gandi.nethostmaster@gandi.net serial=1785369600

org

DNSSEC🔒 Signed (DS record present)
NSa0.org.afilias-nst.info ⭐ ⚠️ Not in parent delegation
NSa2.org.afilias-nst.info ⚠️ Not in parent delegation
NSb0.org.afilias-nst.org
NSb2.org.afilias-nst.org
NSc0.org.afilias-nst.info ⚠️ Not in parent delegation
NSd0.org.afilias-nst.org
SOAa0.org.afilias-nst.infohostmaster@donuts.email serial=1785707431
rank #486215 globally
rank #37315 in the tld

Same first word

compcert.org
compcert.com

Similar names

cortecpm.com
mteccorp.com
certcomp.org
etmccorp.com
rpteccom.com

DNS History

10 records (10 active, 0 former)

NSns-114-c.gandi.netns-67-b.gandi.netns-69-a.gandi.netns1.gandi.netMXfb.mail.gandi.netspool.mail.gandi.netA185.199.108.153185.199.109.153185.199.110.153185.199.111.153
●NSns-114-c.gandi.net2026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36
●NSns-67-b.gandi.net2026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36
●NSns-69-a.gandi.net2026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36
●NSns1.gandi.net2026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36
●MXfb.mail.gandi.net2026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36
●MXspool.mail.gandi.net2026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36
●A185.199.108.1532026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36
●A185.199.109.1532026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36
●A185.199.110.1532026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36
●A185.199.111.1532026-03-26 → 2026-08-02 · 2 obs
● 2026-03-26 20:35:24
● 2026-08-02 22:22:36

🔍 DNS Trace

📋 Delegation Chain

ZoneNameserversGlue
orgb2.org.afilias-nst.org, b0.org.afilias-nst.org, d0.org.afilias-nst.org-
compcert.orgns-67-b.gandi.net, ns-69-a.gandi.net, ns-114-c.gandi.net-

✅ Authoritative Response

Server:213.167.230.68

NS records: ns-67-b.gandi.net, ns-69-a.gandi.net, ns-114-c.gandi.net

🔒 DNSSEC Status

⚠️ Insecure (no DNSSEC)

No DS record for compcert.org (unsigned zone)

⏱️ Timing

Total: 560ms | Queries: -

📄 Records

TypeCountSample Data
A4185.199.110.153, 185.199.108.153...
NS3ns-67-b.gandi.net, ns-69-a.gandi.net...
MX2fb.mail.gandi.net (pri: 50), spool.mail.gandi.net (pri: 10)
TXT2v=spf1 include:_mailcust.gandi.net ?all, google-site-verification=BqHFViSXpUo4SSN
SOA1ns1.gandi.net hostmaster.gandi.net

Analysis

IP Addresses

compcert.org points to the four IP addresses 185.199.108.153, 185.199.109.153, 185.199.110.153 and 185.199.111.153.

dybas.io, dylon007.github.io, raimus1.github.io plus two other host names have IP numbers in common with compcert.org.

Name Servers

Four name servers handle the delegation for compcert.org: ns-114-c.gandi.net, ns-67-b.gandi.net, ns-69-a.gandi.net and ns1.gandi.net.

There is at least partial name server overlap between compcert.org and other domains — meta-io.com, tadamsva.org, steelcatch.com and two more among them.

These name servers regularly appear alongside ns-71-c.gandi.net, ns-121-b.gandi.net, ns-68-c.gandi.net and 4 other name servers in NS record sets.

All four hostnames — ns-114-c.gandi.net, ns-67-b.gandi.net, ns-69-a.gandi.net and ns1.gandi.net — resolve to two IP numbers apiece: ns-114-c.gandi.net to 217.70.187.115 and 2604:3400:aaac::73; ns-67-b.gandi.net to 213.167.230.68 and 2001:4b98:aaab::44; ns-69-a.gandi.net to 173.246.100.70 and 2001:4b98:aaaa::46; ns1.gandi.net to 173.246.100.2 and 2001:4b98:aaaa::2.

Mail Servers

compcert.org uses two mail servers, fb.mail.gandi.net and spool.mail.gandi.net.

The mail server setup of compcert.org matches that of other domains such as cta-climatisation.ch, alsat.lu, iept.info and two others.

compcert.org and other domains — viswas.info for instance — share at least some mail servers.

Hosts with 6 IP addresses each:

fb.mail.gandi.net resolves to 217.70.178.215, 217.70.178.216 and 217.70.178.217 among others, with 3 other IP addresses in total.

Host names pointing to two IP addresses:

spool.mail.gandi.net resolves to two addresses: 217.70.178.1 and 2001:4b98:e00::1.