← 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 · 43% unique tagline

Own this Launch?
Screenshot of Formal Verification with Lean

StackScope is a free public catalogue of indie launches. We find launches on Product Hunt, Hacker News and similar feeds, then crawl each site to detect its tech stack and score 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.

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 1,758 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.
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.2 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 81% 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.