Snapshots: Aug 29 launch 6.5 Aug 9 discovery –

← Back to browse

RedMirror - formal verification for bug finding

Give any model the power to find real bugs and prove them: it guides your agent to where bugs live, then exhaustively searches every reachable state and returns a replayable attack path. On the 440-case OpenSSF benchmark it takes gpt-oss-120b from 54% to 96% of real bugs caught, and a 20b model reac...

AI
Mauritius Estimated origin: Mauritius

Added August 9, 2026 · Last analysed August 29, 2026 · via StackScope Discovery · also on Product Hunt

Own this Launch?
Screenshot of RedMirror - formal verification for bug finding

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.

RedMirror - formal verification for bug finding looks production-ready overall, with complete legal pages, well-configured email security, and fast page loads. Main gaps: missing several security headers.

The site is served through Cloudflare. We've detected 8 technologies on this site, covering analytics, CDN, consent tooling, and DNS providers. The stack includes Google, Cloudflare, and Cloudflare DNS.

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

6.5
StackScope Score
Good
76/100 Launch Readiness
Well prepared
0/6 Security Headers
Poor
3/3 Legal
Complete
2/2 Crawl files
Complete
100/100 Performance
Fast
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 (8)

Infrastructure
CDN Cloudflare
DNS Cloudflare DNS
Email
Email forwarding Cloudflare Email Routing (2)
Transactional email Cloudflare Email
Analytics & Marketing
Analytics Google Analytics (3)
Consent Google new
SEO Google Search Console
Tag management Google Tag Manager (2)

Infrastructure

Network
CLOUDFLARENET - Cloudflare, Inc., US
AS13335 · US
DNS
Cloudflare DNS
Authoritative nameserver
DNSSEC
Not enabled
DNS responses unsigned. Cache-poisoning vulnerable.
Green hosting
Green hosted
Host runs on renewable energy. Data from The Green Web Foundation.
SSL Certificate
Google Trust Services
Valid 6 Aug 2026 to 4 Nov 2026
Certificate as captured in this snapshot, not a live check.

Email Security

✓
SPF ~all Soft-fail (~all). Common and accepted.
✓
DKIM Detected via known email provider
✓
DMARC p=reject Reject (strict). Strong.
?
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 (0)

This site uses no client-side storage we could detect on page load.

Readiness Breakdown How?

✓ Custom title and meta description
✓ Canonical URL declared
✓ Responsive viewport meta tag
✓ Favicon present
✓ Semantic HTML (nav, main, article)
⚠
Page title is 71 characters (advisory) Google only shows about 60 characters of the title in search results; aim for 50–60 to keep the whole thing visible.
⚠
Meta description is 374 characters (advisory) Google only shows about 155–160 characters of the description in desktop search results (less on mobile); anything past that won't appear.
- Open Graph tags (title, image, description)
- Twitter card meta tags

Performance How?

145 ms Server response
81% Faster than peers
1496 ms Largest contentful paint
0.00 Cumulative layout shift
391 KB Page weight
179 KB Image weight
2 Third-party domains
2 Console errors
0 Failed requests

Indicative grade from a single automated render, not a substitute for Lighthouse or field data, and not part of the StackScope score.

AI Stance

Welcomes AI crawlers
✓ 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 (54 URLs)
✗ security.txt
✓ llms.txt
✗ ads.txt
✗ humans.txt

Legal

✓ Privacy Policy
/privacy
✓ Terms of Service
/terms
✓ Consent manager: Google
78% unique
ToS shared by 1 other site
Mentions:
GDPR CCPA Cookies DPO Do Not Sell

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)

Build

1 JS files
0 CSS files
2 Third-party domains

Brand Colours

Possibly by the same creator

Other launches that look like they came from the same person or team.

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