TheoremDB.org
A public workspace for machine mathematics: open problems, permanent records of proofs and attempts, evidence and credit.
Added August 29, 2026
· Last analysed August 29, 2026 · via 
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 29 August 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.
TheoremDB.org scores highly overall, with complete legal pages, a complete set of security headers, and a thorough launch checklist. Main gaps: no sitemap and no email security records.
Launched on Product Hunt on August 29, 2026. The site is served through Cloudflare. Our crawler found 7 technologies on this site, covering CDN, CSS frameworks, DNS providers, and forms. The stack includes Astro, Tailwind CSS, and Cloudflare.
It's also on one of the most common stacks we track, shared by 789 launches and more locked down than the typical Product Hunt launch.
If you own this site, refresh the snapshot and see the full fix list any time →
Tech Stack (7)
| CDN |
Cloudflare
|
| DNS |
Cloudflare DNS
|
| Security | HSTS |
| Storage |
Cloudflare R2
|
| CSS framework |
Tailwind CSS
|
| Meta-framework |
Astro
|
| Forms |
Tally
|
Infrastructure
Email Security
Storage (2)
| Key | Size | Detected as |
|---|---|---|
| tdb-anonymous-visitor-v1 | 67 B | - |
| Key | Size | Detected as |
|---|---|---|
| tdb-anonymous-session-v1 | 93 B | - |
Readiness Breakdown How?
Performance How?
⚠ 53 images: 36 oversized, 2 without width/height, 17 missing alt text
Indicative grade from a single automated render, not a substitute for Lighthouse or field data, and not part of the StackScope score.
Vibe Score Breakdown How?
| Signal | Points |
|---|---|
| AI palette signals | +5 |
| AI code-structure signals | +10 |
| AI layout signals | +5 |
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.