formaltheory.org - robtex.com
formaltheory.org
org
| DNSSEC | 🔒 Signed (DS record present) | ||||||
| NS | a0.org.afilias-nst.info ⭐ ⚠️ Not in parent delegation | ||||||
| NS | a2.org.afilias-nst.info ⚠️ Not in parent delegation | ||||||
| NS | b0.org.afilias-nst.org | ||||||
| NS | b2.org.afilias-nst.org | ||||||
| NS | c0.org.afilias-nst.info ⚠️ Not in parent delegation | ||||||
| NS | d0.org.afilias-nst.org | ||||||
| SOA | a0.org.afilias-nst.infohostmaster@donuts.email serial=1776068525 | ||||||
Same first word
formaltheory.org |
formaltheory.com |
DNS History
7 records (6 active, 1 former)
●NSns41.domaincontrol.com2017-06-18 → 2026-04-13 · 2 obs
● 2026-04-13 08:51:22
●NSns42.domaincontrol.com2017-06-18 → 2026-04-13 · 2 obs
● 2026-04-13 08:51:22
●MXmailstore1.secureserver.net2017-06-18 → 2026-04-13 · 2 obs
● 2026-04-13 08:51:22
●MXsmtp.secureserver.net2017-06-18 → 2026-04-13 · 2 obs
● 2026-04-13 08:51:22
●A15.197.148.332026-02-21 → 2026-04-13 · 3 obs
● 2026-02-21 20:14:28
● 2026-04-13 08:51:22
○A184.168.221.332017-06-18 → 2017-06-18 · 3 obs
○ 2026-02-21 20:14:28
○ 2026-04-13 08:51:22
●A3.33.130.1902026-02-21 → 2026-04-13 · 3 obs
● 2026-02-21 20:14:28
● 2026-04-13 08:51:22
🔍 DNS Trace
📋 Delegation Chain
| Zone | Nameservers | Glue |
|---|---|---|
| org | b0.org.afilias-nst.org, b2.org.afilias-nst.org, d0.org.afilias-nst.org | - |
| formaltheory.org | ns41.domaincontrol.com, ns42.domaincontrol.com | - |
✅ Authoritative Response
Server:97.74.100.21
NS records: ns41.domaincontrol.com, ns42.domaincontrol.com
🔒 DNSSEC Status
⚠️ Insecure (no DNSSEC)
No DS record for formaltheory.org (unsigned zone)
⏱️ Timing
Total: 403ms | Queries: -
📄 Records
| Type | Count | Sample Data |
|---|---|---|
| A | 2 | 3.33.130.190, 15.197.148.33 |
| NS | 2 | ns41.domaincontrol.com, ns42.domaincontrol.com |
| MX | 2 | mailstore1.secureserver.net (pri: 10), smtp.secureserver.net (pri: 0) |
| SOA | 1 | ns41.domaincontrol.com dns.jomax.net |
Analysis
IP Addresses
formaltheory.org resolves to two IP numbers: 3.33.130.190 and 15.197.148.33.
Other host names, for instance fsrestorationllc.com, pitchblease.com, madesign.co, cavadianproperties.com and tortuguero.org share IP numbers with formaltheory.org.
Name Servers
Two name servers ns41.domaincontrol.com and ns42.domaincontrol.com handle delegation for formaltheory.org.
formaltheory.org uses the same name server setup as other domains, for example vail-insurance.com, auradev.com, admiracosmetics.com, c2.io and shragerdefenseattorneys.com.
formaltheory.org shares name servers with other domains at least in part, for instance viajomexico.com.
Host names with two IP numbers:
ns41.domaincontrol.com points to: 2603:5:2142::15 and 97.74.100.21
ns42.domaincontrol.com points to: 2603:5:2242::15 and 173.201.68.21
Mail Servers
formaltheory.org is handled by two mail servers: mailstore1.secureserver.net and smtp.secureserver.net.
formaltheory.org has the same mail server setup as other domains, including avicat.com, globalforexacademy.com, thorton.com, oilandgasjobsearch.in and latentsounds.com.
formaltheory.org shares at least partially some mail servers with other domains, for instance sigmachi-alphatau.com and avvocato.co.
Host names with three IP numbers:
mailstore1.secureserver.net points to 216.69.141.78, 216.69.141.114 and 216.69.141.162.
smtp.secureserver.net points to 216.69.141.71, 216.69.141.84 and 216.69.141.113.