This site claims to host a major formalization of the classification of finite simple groups in Lean, but it reads more like a project poster than a working proof repository. There's no way to verify who runs it, no contact point, and the domain is too young to have built the trust its claims demand. Until you can confirm the work through established academic channels, treat it as an unverified claim rather than an authoritative source.
Cross-referenced 40 live signals from Google Safe Browsing, VirusTotal, WHOIS and more on Oct 27, 2026.How we score →
Where the score comes from
We look at six areas. Here's how cfsg.axiommath.ai did in each.
75
Security
Solid technical foundation: valid TLS certificate from Let's Encrypt, modern protocol, and Google Web Risk gives it a clean bill of health. No security headers like clickjacking protection, which is a minor gap but not unusual for a content site.
40
Identity
The domain is registered through GoDaddy's privacy service, so we don't know who owns it. That's common, but for a project that lists named contributors and claims institutional affiliations, the lack of verifiable ownership or a company registration creates real ambiguity.
60
Reputation
The domain is only 16 months old and has no web archive history until last month, which is young for a project of this scope. No blacklists or malware flags, and a single Hacker News mention in 2026 provides a thin external signal.
45
Transparency
No about page, no contact information, no social media links, and 28 hidden page elements raise concern. The page names contributors but gives no way to verify them or reach the project team. For a research project, this is unusually opaque.
70
Compliance
No privacy policy or terms of service, but for a non-commercial academic project that doesn't collect payments or personal data, this is not a compliance problem. It would only matter if they started taking donations or registration.
85
Infrastructure
Hosted on Fastly with clean DNS resolution and fast load times. No email setup, but the site doesn't appear to need it. Missing DNSSEC is a minor point, but overall the technical setup is solid for a static site.
What we checked
The 40 signals behind this report.
Security & Transport
Certificate Issuer: Neutral
Let's Encrypt
Certificate issued by Let's Encrypt
Google Web Risk: Good
Clean
No threats detected by Google Web Risk
Hidden Content: Warning
28 hidden elements
Excessive hidden content found — may indicate cloaking or deceptive content
Protective DNS: Neutral
Not blocked
Cloudflare's malware-blocking resolver (1.1.1.2) answered normally for this domain. These resolvers refuse domains their threat intelligence lists for malware or phishing, and a scam only days old often isn't listed yet. Quad9 gave no usable answer.
SSL Certificate: Good
Valid
Valid certificate, expires in 88 days
Search Cloaking: Neutral
Not detected
Neither a visitor arriving from a Google search nor Google's crawler was sent elsewhere or shown spam that a direct visit wasn't. Cloaking that checks the visitor's network address can't be seen from our server.
Security Headers: Neutral
0 of 6
Site does not set common security response headers (CSP, HSTS, X-Frame-Options, etc)
Server: Neutral
GitHub.com
Web server: GitHub.com
TLS Version: Good
TLS 1.3
Connection uses TLS 1.3
Identity & WHOIS
About Page: Neutral
Not found
No About / Team / Company page detected.
Branding: Good
Complete
Site has custom branding and social media metadata
Business Disclosure: Neutral
Not found
No dedicated legal-entity disclosure page detected — common and expected outside the EU, but required for commercial sites in Germany, France, Spain, Italy, and other EU jurisdictions.
Contact Info: Warning
Not found
No contact page link, email address or phone number found on the homepage
Domain Age: Good
1 years, 4 months
Domain created 2025-06-11 (1 years, 4 months ago) — registration of the parent domain axiommath.ai
Domain Expiry: Good
2027-06-11
Expires in 226 days
Legal Pages: Warning
Missing
No privacy policy or terms of service found — expected for commercial sites, normal for personal blogs and hobby projects
Registrant: Neutral
Privacy protected
The registration shows a privacy service or redaction notice in place of the owner. Most registrars do this by default since GDPR (2018), for companies as well as individuals, so it hides nothing unusual.
Registrar: Neutral
GoDaddy.com, LLC
Registered through GoDaddy.com, LLC
Infrastructure & DNS
CAA Record: Good
6 issuer(s)
Domain restricts which CAs can issue certificates: digicert.com, letsencrypt.org, sectigo.com, digicert.com, letsencrypt.org, sectigo.com
CDN: Good
Fastly
Site is served behind Fastly — indicates real operational investment in edge infrastructure
DNS Blacklists: Good
Clean
Not found on any DNS blacklists
DNS Resolution: Good
8 IP(s)
Resolves to: 2606:50c0:8002::153, 2606:50c0:8000::153, 2606:50c0:8001::153, 2606:50c0:8003::153, 185.199.111.153, 185.199.108.153, 185.199.109.153, 185.199.110.153
DNSSEC: Neutral
Not enabled
Domain is not signed with DNSSEC
DNSSEC: Neutral
unsigned
DNSSEC status from WHOIS
Email (MX Records): Neutral
None
No MX records found — domain may not handle email
Hosting Network (ASN): Neutral
AS54113 FASTLY
Hosted on: AS54113 FASTLY (US)
Page Load Time: Good
84ms
Fast page load
Reputation & Reach
Hacker News: Neutral
1 story since 2026
Hacker News readers only upvoted links to this site in 2026, and one burst of attention says less than interest over the years. The most upvoted, "Classification of Finite Simple Groups Formalized in Lean" (2026), got 91 points.
Open Graph Type: Neutral
website
og:type declared as website
Page Description: Neutral
A complete formalization in Lean of the first-generation proof of the classification of finite simple groups, with every...
A complete formalization in Lean of the first-generation proof of the classification of finite simple groups, with every logical step checked by Lean’s kernel.
Page Heading: Neutral
Papers
Page Language: Neutral
en
HTML declares lang="en"
Page Title: Neutral
CFSG in Lean
Sitemap: Neutral
Not found
No sitemap found — common for smaller sites
Social Media Presence: Neutral
None found
No social media links found on homepage
Structured Data: Neutral
None found
No structured data markup found
Tranco Rank: Neutral
Not ranked
This site is not in the top 1 million most visited websites — this is normal for small or new businesses
Web Archive History: Neutral
0 months
Earliest archive snapshot from 20261027
Website Status: Good
Online
Website is live and responding
robots.txt: Neutral
Not found
No robots.txt file — common for small sites
Run this site? Show your score.
Add a trust badge so visitors can see your live score for themselves.
cfsg.axiommath.ai presents itself as a complete formalization of the classification of finite simple groups in Lean, a project that would be a landmark achievement in mathematics. But when you look past the impressive list of named contributors and the ambitious homepage, the site raises several red flags for anyone evaluating its legitimacy.
The domain was registered in June 2025, which is very recent for a project that claims years of collaborative work. There is no about page, no contact email, and no links to institutional pages or verified social media accounts for any of the 30+ people named. The site also has 28 hidden elements on the page, which can be a sign of cloaking or deceptive content practices.
For a project of this magnitude, you would expect links to university pages, arXiv preprints, or at least a verified GitHub organization. Instead, the repository link goes to a generic GitHub Pages setup, and the project has no independent verification from mathematics departments or known formalization efforts. If you're a mathematician or student looking to use this formalization, start by checking whether the named contributors have published related work on their own academic sites or in conferences such as ITP or CPP. Until then, treat cfsg.axiommath.ai as an unverified claim — not necessarily a scam, but not a trustworthy source either.