Brettkoonce

Show HN: Verified Deep Learning with Lean 4

Education

Added April 21, 2026 · Last analysed April 21, 2026 · via Hacker News · 62% unique tagline

Own this Launch?

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 21 April 2026; the live site may have changed since.

Brettkoonce still has work before launch. Visible gaps: missing several security headers, incomplete legal pages, and no robots.txt or sitemap.

Launched on Hacker News on April 21, 2026. The site is hosted on GitHub Pages and served through Fastly. The crawl picked up 4 technologies on this site, covering CDN, hosting, package cdn, and static site generator. The stack includes Fastly, GitHub Pages, and jsDelivr.

For context, it's on one of the most common stacks we track, shared by 1,759 launches.

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

1.2

StackScope Score

Poor

41/100 Launch Readiness

Partially ready

0/6 Security Headers

Poor

0/3 Legal

Missing

0/2 Crawl files

Missing

Vibe Score 10 · Few 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 (4)

Infrastructure

CDN	Fastly (2)
Hosting	GitHub Pages (2)

Build & Framework

Package CDN	jsDelivr
Static site generator	plasTeX

Infrastructure

Network

FASTLY - Fastly, Inc., US

AS54113 · US

DNSSEC

Not enabled

DNS responses unsigned. Cache-poisoning vulnerable.

SSL Certificate

Let's Encrypt

Valid 6 Apr 2026 to 5 Jul 2026

Certificate as captured in this snapshot, not a live check.

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 (1)

Cookies (1)

Name	Lifetime	Detected as
showmore_level	9d	-

Readiness Breakdown How?

⚠

Custom title and meta description (partial) missing meta description

✓ Responsive viewport meta tag

✓ Semantic HTML (nav, main, article)

- Open Graph tags (title, image, description)

- Canonical URL declared

- Twitter card meta tags

- Favicon present

Vibe Score Breakdown How?

Signal	Points
Placeholder branding	+10

This score is based on structural patterns and is not definitive. Many legitimate sites may trigger signals, and AI-built sites may go undetected. It should be treated as an indicator, not a verdict.

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

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

147ms response time

Faster than 83% of sites

1 third-party domains loaded

Build

✓ Code splitting

6 JS files

5 CSS files

1 Third-party domains

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