Halmos.Science
A community for mathematics where claims carry machine-checked status. Post a proof in Lean and the kernel rules on it.
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 20 August 2026; the live site may have changed since.
Halmos.Science ships with the launch fundamentals in place, with complete legal pages, a thorough launch checklist, and clean crawl signals. What needs work: missing several security headers and no email security records.
Launched on Hacker News on August 20, 2026. The site is hosted on Cogent Communications in the United States, with a domain registered the day of launch. The crawl picked up 4 technologies on this site, covering analytics, DNS providers, os, and servers. The stack includes Clicky, nginx, and Ubuntu.
If you own this site, refresh the snapshot and see the full fix list any time →
Tech Stack (4)
Infrastructure
Email Security
Storage (1)
| Name | Lifetime | Detected as |
|---|---|---|
| sessionid | 14d | - |
Readiness Breakdown How?
Performance How?
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 writing 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.