← Back to browse

Formal Verification with Lean

Show HN: Formal Verification with Lean

Developer Tools

Added May 12, 2026 · Last analysed May 12, 2026 · via Hacker News

Own this Launch?
Screenshot of Formal Verification with Lean

StackScope records what new websites are built with, the week they launch. Most we find ourselves, by watching public internet infrastructure for brand-new sites; the rest come from Product Hunt, Hacker News and PeerPush. We crawled this one for its tech stack and scored it for launch readiness: DNS, security headers, SEO basics. This page is what we saw on 12 May 2026; the live site may have changed since.

Every technology below links to its own page: which other new sites launched with it. Vendors and agencies watch those pages with Stackdar and hear about new adopters the week they ship, from £15 a month.

Formal Verification with Lean is missing several launch fundamentals. Worth fixing first: missing several security headers, incomplete legal pages, and no robots.txt or sitemap.

Launched on Hacker News on May 12, 2026. The site is hosted on GitHub Pages and served through Fastly, with a domain registered in 2019. Our crawler found 6 technologies on this site, covering analytics, CDN, comments, and DNS providers. The stack includes Fastly, GitHub Pages, and Google Analytics.

It's also running the same core stack as 2,638 other launches.

If you own this site, refresh the snapshot and see the full fix list any time →

0.5
StackScope Score
Poor
17/100 Launch Readiness
Needs work
0/6 Security Headers
Poor
0/3 Legal
Missing
0/2 Crawl files
Missing
Vibe Score 0 · No AI signals
How much the site looks AI-generated. Informational pattern-match signal, not a verdict. Does not feed the StackScope Score. See which fingerprints fired →

Tech Stack (6)

Infrastructure
CDN Fastly
DNS Namecheap DNS
Hosting GitHub Pages
Build & Framework
Package CDN jsDelivr
Analytics & Marketing
Analytics Google Analytics (3)
Business Tools
Comments Utterances

Infrastructure

Network
FASTLY - Fastly, Inc., US
AS54113 · US
DNS
Namecheap DNS
Authoritative nameserver
DNSSEC
Not enabled
DNS responses unsigned. Cache-poisoning vulnerable.
Green hosting
Not green hosted
No green-energy record. Data from The Green Web Foundation.
SSL Certificate
Let's Encrypt
Valid 25 Apr 2026 to 24 Jul 2026
Certificate as captured in this snapshot, not a live check.
Domain Age
7.3 years
Registered May 2019 · NameCheap, Inc.

Email Security

✗
SPF Not published. Your domain can be spoofed in phishing emails.
?
DKIM Not detected at common selectors. Your provider may use a custom one.
✗
DMARC Not published. Receivers fall back to permissive defaults.
?
MTA-STS Not deployed. Mail to your domain can be downgraded to plaintext en route.
?
TLS-RPT Not configured. You won't hear about silent SMTP TLS handshake failures.

Storage (2)

Cookies (2)
NameLifetimeDetected as
_ga 1y Google Analytics
_ga_PW0RV5E086 1y Google Analytics

Readiness Breakdown How?

✓ Responsive viewport meta tag
- Custom title and meta description
- Open Graph tags (title, image, description)
- Canonical URL declared
- Twitter card meta tags
- Favicon present
- Semantic HTML (nav, main, article)

AI Stance

No AI stance declared
✗ llms.txt published
✓ No AI bots blocked in robots.txt
Content-Signal
? No directive declared
Link headers
? None advertised

Well-Known Files

✗ robots.txt
✗ sitemap.xml
✗ security.txt
✗ llms.txt
✗ ads.txt
✗ humans.txt

Legal

? Privacy Policy not detected
? Terms of Service not detected
? Consent manager not detected
Analytics set tracking cookies on our visit, with no opt-in step.
Detection works best on English language sites.

Security Headers (0/6)

✗
Referrer-Policy
✗
X-Frame-Options
✗
Permissions-Policy experimental (check browser support)
✗
X-Content-Type-Options
✗
Content-Security-Policy
✗
Strict-Transport-Security
–
X-XSS-Protection deprecated (use Content-Security-Policy)

Performance

153ms response time
Faster than 69% of sites
3 third-party domains loaded

Build

✓ Code splitting
4 JS files
2 CSS files
3 Third-party domains

Brand Colours

Something not look right? If a technology shown here is wrong or out of date, email [email protected] and we'll review it.