`theoremproving.org`

DNSSEC	⚠️ Not signed
A	162.255.119.177^{🇺🇸 NAMCHEAP-PH162.255.119.0/24 Namecheap, Inc. 11400 W. Olympic Blvd. Suite 200 Los Angeles, CA 90064 UNITED STATES}
NS	`dns1.registrar-servers.com` ⭐
		A	2610:a1:1024::200^{🇺🇸 MAINT-ID-120082610:a1:1024::/48 Neustar}
			PTR	`dns1.namecheaphosting.com`
			PTR	`dns1.registrar-servers.com`
		A	156.154.132.200^{🇺🇸 MAINT-ID-12008156.154.132.0/24 Neustar}
			PTR	`dns1.namecheaphosting.com`
			PTR	`dns1.registrar-servers.com`
NS	`dns2.registrar-servers.com`
		A	2610:a1:1025::200^{🇺🇸 MAINT-ID-120082610:a1:1025::/48 Neustar}
			PTR	`dns2.namecheaphosting.com`
			PTR	`dns2.registrar-servers.com`
		A	156.154.133.200^{🇺🇸 MAINT-ID-12008156.154.133.0/24 Neustar}
			PTR	`dns2.namecheaphosting.com`
			PTR	`dns2.registrar-servers.com`
MX	`eforward1.registrar-servers.com` ⭐
		A	162.255.118.51^{🇺🇸 NAMCHEAP-PH162.255.118.0/24 Namecheap, Inc. 11400 W. Olympic Blvd. Suite 200 Los Angeles, CA 90064 UNITED STATES}
			PTR	`eforward1.registrar-servers.com`
			PTR	`eforward3.registrar-servers.com`
MX	`eforward2.registrar-servers.com` ⭐
		A	162.255.118.52^{🇺🇸 NAMCHEAP-PH162.255.118.0/24 Namecheap, Inc. 11400 W. Olympic Blvd. Suite 200 Los Angeles, CA 90064 UNITED STATES}
			PTR	`eforward2.registrar-servers.com`
MX	`eforward3.registrar-servers.com` ⭐
		A	162.255.118.51^{🇺🇸 NAMCHEAP-PH162.255.118.0/24 Namecheap, Inc. 11400 W. Olympic Blvd. Suite 200 Los Angeles, CA 90064 UNITED STATES}
			PTR	`eforward1.registrar-servers.com`
			PTR	`eforward3.registrar-servers.com`
MX	`eforward4.registrar-servers.com`⁽¹⁵⁾
		A	162.255.118.52^{🇺🇸 NAMCHEAP-PH162.255.118.0/24 Namecheap, Inc. 11400 W. Olympic Blvd. Suite 200 Los Angeles, CA 90064 UNITED STATES}
			PTR	`eforward2.registrar-servers.com`
MX	`eforward5.registrar-servers.com`⁽²⁰⁾
		A	162.255.118.51^{🇺🇸 NAMCHEAP-PH162.255.118.0/24 Namecheap, Inc. 11400 W. Olympic Blvd. Suite 200 Los Angeles, CA 90064 UNITED STATES}
			PTR	`eforward1.registrar-servers.com`
			PTR	`eforward3.registrar-servers.com`
TXT	`v=spf1 include:spf.efwd.registrar-servers.com ~all`
SOA	`dns1.registrar-servers.com`hostmaster@registrar-servers.com serial=1708448976

`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.info`hostmaster@donuts.email serial=1773551953

📈 Tranco rank: #411,686

Subdomains

afp.theoremproving.org

Same first word

theoremproving.org

DNS History

8 records (8 active, 0 former)

●NSdns1.registrar-servers.com2026-02-17 → 2026-03-23 · 2 obs

● 2026-02-17 17:14:38
● 2026-03-23 12:12:34

●NSdns2.registrar-servers.com2026-02-17 → 2026-03-23 · 2 obs

● 2026-02-17 17:14:38
● 2026-03-23 12:12:34

●MXeforward1.registrar-servers.com2026-02-17 → 2026-03-23 · 2 obs

● 2026-02-17 17:14:38
● 2026-03-23 12:12:34

●MXeforward2.registrar-servers.com2026-02-17 → 2026-03-23 · 2 obs

● 2026-02-17 17:14:38
● 2026-03-23 12:12:34

●MXeforward3.registrar-servers.com2026-02-17 → 2026-03-23 · 2 obs

● 2026-02-17 17:14:38
● 2026-03-23 12:12:34

●MXeforward4.registrar-servers.com2026-02-17 → 2026-03-23 · 2 obs

● 2026-02-17 17:14:38
● 2026-03-23 12:12:34

●MXeforward5.registrar-servers.com2026-02-17 → 2026-03-23 · 2 obs

● 2026-02-17 17:14:38
● 2026-03-23 12:12:34

●A162.255.119.1772026-02-17 → 2026-03-23 · 2 obs

● 2026-02-17 17:14:38
● 2026-03-23 12:12:34

🔍 DNS Trace

📋 Delegation Chain

Zone	Nameservers	Glue
org	b0.org.afilias-nst.org, b2.org.afilias-nst.org, d0.org.afilias-nst.org	-
theoremproving.org	dns2.registrar-servers.com, dns1.registrar-servers.com	-

✅ Authoritative Response

Server:156.154.133.200

NS records: dns2.registrar-servers.com, dns1.registrar-servers.com

🔒 DNSSEC Status

⚠️ Insecure (no DNSSEC)

No DS record for theoremproving.org (unsigned zone)

⏱️ Timing

Total: 476ms | Queries: -

📄 Records

Type	Count	Sample Data
A	1	`162.255.119.177`
NS	2	`dns1.registrar-servers.com, dns2.registrar-servers.com`
MX	5	`eforward1.registrar-servers.com (pri: 10, eforward2.registrar-servers.com (pri: 10...`
TXT	1	`v=spf1 include:spf.efwd.registrar-server`
SOA	1	`dns1.registrar-servers.com hostmaster.re`

Analysis

Hierarchy

The parent of afp.theoremproving.org is theoremproving.org.

IP Addresses

theoremproving.org points to IP number: 162.255.119.177.

Other host names such as littlebedtimestories.com, katrinablue.com, divinitive.com, fmovies.video and rl-cd.com share IPs with theoremproving.org.

Name Servers

theoremproving.org is delegated to two name servers: dns1.registrar-servers.com and dns2.registrar-servers.com.

theoremproving.org shares the same name server setup as digitalhandycrew.com, infra.ink, k9c3.com, fidelityhomesinc.com and pkcn4.com.

theoremproving.org shares name servers with other domains at least partially, for instance david-carrillo.net and life-style.properties.

These name servers are commonly used together with dns3.registrar-servers.com, dns4.registrar-servers.com and dns5.registrar-servers.com.

Host names with two IP numbers: dns1.registrar-servers.com points to: 2610:a1:1024::200 and 156.154.132.200; dns2.registrar-servers.com points to: 2610:a1:1025::200 and 156.154.133.200.

Mail Servers

Five mail servers handle theoremproving.org: eforward1.registrar-servers.com, eforward2.registrar-servers.com, eforward3.registrar-servers.com, eforward4.registrar-servers.com and eforward5.registrar-servers.com.

theoremproving.org shares at least partially some mail servers with other domains, including jaseva.com, israelioutlet.com, zibotoi.com, linkroads.com and nanoquery.com.