What is this website?
Public pages were observed on homotopytypetheory.org, but their subject was not confidently classified. The sampled pages were marked as English-language. Recurring page-metadata topics include homotopy type theory, hott, univalent foundations program.
No listed local patterns observedHomepage-only analysis is not a malware clearance. Read the scope and findings below.
How to read this report
Safety Score evaluates observed signals. Evidence Confidence measures how complete, direct, fresh, and consistent those signals are.
No automated scan can guarantee that a website is safe.
Independent evidence brief
What we observed about homotopytypetheory.org
The latest scan examined 10 public pages on homotopytypetheory.org. Website descriptions below come from the site itself. Registration, connection and threat findings were checked separately.
Purpose and visible content
On its homepage, the site says: This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those…
- Support | Homotopy Type TheoryPosts about Support written by Steve Awodey
- News | Homotopy Type TheoryPosts about News written by Mike Shulman, Steve Awodey, and Felix Cherubini
- Events | Homotopy Type TheoryHere are some past HoTT events. The Institute for Advanced Study had a year-long special program devoted to…
Registrar and domain history
Registered on Mar 13, 2011. Registrar: Wild West Domains, LLC.
Recorded expiry date: Mar 13, 2027. Registry data can change.
Connection and hosting evidence
The checked homepage returned HTTP 200.
A valid TLS certificate was observed, expiring Nov 25, 2026.
Threat checks and score context
External malware-provider coverage was unavailable. The report does not treat this missing check as a clean result.
Safety Score: 73/100. Evidence Confidence: 75%. These measure different things.
Public content profile
Pages reviewed on homotopytypetheory.org
We sampled public pages from this website to understand its subject and contact paths. The titles and short descriptions below come from the website itself. They are not endorsements or independent safety findings.
Hashtags found on the website: #HoTT · #Item_0 . These are site-supplied labels, not search rankings.
Public page evidence
Topics and keywords observed on homotopytypetheory.org
These phrases were extracted locally from sampled public page metadata. They are observations, not search-volume or ranking estimates.
At a glance
Key findings
Report is current
The displayed evidence comes from the published immutable scan.
Confidence is separate
Unavailable evidence is shown as missing and never counted as clean.
Verify before sensitive actions
Check the exact URL and context before payments, credentials, or downloads.
Fully explainable
Why this score?
Threat providers were unavailable. The neutral uncertainty baseline is not a clean verdict.
Domain registration age and expiry were checked.
Observed DNS records and network address were checked.
Observed certificate validity and TLS protocol were checked.
Observed security header values were checked for basic protective settings. Empty values, disabled HSTS and unrecognized values receive no credit. This is not a complete browser-policy validation.
Observed site metadata and About page were checked. Publisher-supplied details are not independently verified.
Popularity is weak context, not proof of safety. Unranked sites use a neutral baseline.
Observed HTTP status and final connection scheme were checked.
Server-side analysis
Automated security checks
Local antivirus and phishing checks
Sampled scripts and pages
Resource antivirus is not enabled
0 resources checked · 4 script links observed on the homepage. Partial resource coverage.
ClamAV inspects the fetched homepage HTML on our server. New scans also sample up to four linked scripts and two collected internal pages, with size and time limits. Scripts are not executed. Other downloads, private server files and logged-in pages remain outside this check. A signature match needs investigation and can be a false positive. No match is not a whole-site safety guarantee.
Exact hostname lookup uses a downloaded Phishing.Database snapshot. It does not send this domain to an external lookup API or mark sibling subdomains as harmful. Not listed does not mean safe. Snapshot age is download age, not proof that every entry was recently revalidated.
Homepage HTML only · Eight local rule families · local-security-v2
Checks use the fetched page and redirect chain. Scripts are not executed, forms are not submitted, and linked files are not downloaded. This is not a malware clearance.
Page resource inventory
Counts describe the sampled HTML, not every resource loaded by the browser. External resources are common and are not automatically harmful.
No listed local patterns observed. The limited rule set cannot detect every threat or behavior.
External threat intelligence
Local checks do not query external reputation databases. An unavailable check is never a clean result.
Registration
Domain information
Infrastructure
Network & hosting
At a glance
Infrastructure summary
A compact view of the connection, DNS and security surface. These observations describe what the scanner could verify at scan time and do not prove ownership or ongoing availability.
Page telemetry
Observed page statistics
These counters describe the fetched response and sampled HTML. Script counts describe references in the markup, not a complete browser network log. Cookie counts cover observed response headers.
Encrypted transport
TLS certificate
Resolution
DNS footprint
DNSKEY presence does not verify the DNSSEC signature chain. Missing records can mean no record was returned or the lookup was unavailable.
192.0.78.24TTL —192.0.78.25TTL —ns1.wordpress.comTTL —ns2.wordpress.comTTL —ns3.wordpress.comTTL —DNS observations · no external lookup API
Domain email protection
Exact-host SPF and DMARC observations help the owner investigate email impersonation risks. They are separate from website malware checks and do not change the Safety Score.
What to do next
Review the records with your mail administrator. Inventory legitimate senders and test SPF and DKIM alignment before enforcing a stricter DMARC policy. Fix duplicate records and investigate overly permissive SPF rules.
This bounded check does not send email, probe SMTP, evaluate recursive SPF includes, verify DKIM signatures or apply organizational-domain DMARC inheritance. A missing subdomain record does not prove that no inherited protection exists. A DNS timeout is unknown, not an absent record. A policy record is not proof that messages authenticate successfully.
Responsible disclosure
security.txt
No readable security.txt file was observed at the standard locations. This is informational and is not evidence of malware.
Browser protections
Security headers
Response headers
Cookie protections
No Set-Cookie header was observed on the sampled homepage response. Other pages may set cookies separately.
Detected stack
Technologies
Versions are shown only when publicly exposed by the page or response headers. An observed version is not, by itself, proof of a vulnerability.
JavaScript library advisories
JavaScript advisory analysis could not be completed or no eligible script files were sampled. No clean result is implied.
Recommended maintenance checks
Publisher supplied
Social profiles observed on this website
These links appeared on the website. We have not independently verified ownership of the linked accounts.
GitHub
GitHub
GitHub
GitHub
GitHub
GitHub
GitHub
GitHub
GitHub
GitHub
GitHub
GitHub
Publisher supplied
Public contact details
These details were observed on the website, not independently verified as an active support channel.
Structured facts
Website identity & response
Connection path
Redirect chain
No redirect hop was recorded for the sampled homepage.
Compared with the previous scan
What changed
A comparison will appear after the next completed scan.
Explainable matching
Digital fingerprint
Comparable components help find technically related websites. A match does not prove common ownership.
Material changes only
Change history
No meaningful changes recorded yet.
Visual evidence
Website screenshot
For site owners
Show your verified trust report
Place this lightweight badge in your footer to show visitors an independent, dated WebsiteVirusScanner report. It can increase visitor confidence, but it never changes or guarantees the score.
Use the current report link so visitors can verify the evidence. A badge is a transparency signal, not a paid ranking boost.
Questions about homotopytypetheory.org
FAQ
Is homotopytypetheory.org safe to visit?
The latest Safety Score is 73/100 with 75% Evidence Confidence. This is a point-in-time assessment of observed technical signals, not a guarantee. Check the exact address and avoid entering payment details if anything looks unusual.
Did the scan detect malware on homotopytypetheory.org?
External threat-provider coverage was unavailable for this scan, so malware status is unverified.
When was homotopytypetheory.org registered?
The public registry record shows Mar 13, 2011. Registration details may be privacy-protected or updated later.
Did homotopytypetheory.org have a valid TLS certificate?
The scanner observed a valid TLS certificate using TLSv1.3. A valid certificate alone does not establish that the site is safe.
Can a paid listing change this website's score?
No. Premium placement and owner-supplied pages are labelled separately. Technical evidence, the Safety Score and moderation decisions remain independent.