No Security Risks Detected
This domain appears to be safe and secure
100%
Score
Disclaimer: This assessment is based on automated analysis of publicly available information. Results are for informational purposes only. For critical applications, consult security professionals.
Scan Information
Last checked:July 15, 2025 09:51:34
Target URL:https://formal-proof-system.com/
Scan Complete
Refresh page after 10 minutes
for updated results
Page Information
Target URL
https://formal-proof-system.com/
Page Title
Integrated Formal Proof System
Status
Active
Host Information
Domain
formal-proof-system.com
Server
nginx/1.29.0
Country
United States
IP Address
44.194.67.9
ASN Information
14618
AMAZON-AES
Technologies
Nginx
Web servers
SSL Certificate
HTTPS Enabled
Secure
Certificate Issuer
49m208 Gateway Proxy BISO MITM CA
Valid From
2025-07-15 04:37:57
Valid Until
2025-08-14 04:38:27
Subject Name
formal-proof-system.com
Performance Statistics
6
Total Requests
1
Domains
1
IP Addresses
85.08 KB
Transfer Size
Content Size230.88 KB
HTTP Headers
accept-ranges
bytes
cf-team
28af185d04000073bb0fa00400000001
content-length
724
content-security-policy
default-src 'self' http: https: data: blob: 'unsafe-inline'
content-type
text/html
date
Tue, 15 Jul 2025 09:51:42 GMT
etag
"687602c5-2d4"
last-modified
Tue, 15 Jul 2025 07:27:01 GMT
referrer-policy
no-referrer-when-downgrade
server
nginx/1.29.0
server-timing
cfReqDur;dur=1432.237
x-content-type-options
nosniff
x-frame-options
SAMEORIGIN
x-xss-protection
1; mode=block
14 headers detected
Technology Stack Analysis
Nginx
Web serversReverse proxies
Nginx is a web server that can also be used as a reverse proxy, load balancer, mail proxy and HTTP cache.
External Links 0
Requested Domains 1
formal-proof-system.com
Unknown Type
No category information available