Category & trade
Primary
technology-and-computing · embed-ft 0.43
Tree path
Technology & Computing
Group (tier-1)
Also (top-3)
Tech stack
CDN
AI readiness
AI-Readiness score
39 / 100 · partial · see similar
AI training policy
allowed
AI-bot protection
AI files
Evidence
llms.txt
Compliance (GEO / GDPR)
TLD
Overview
Title
QEDGen. Proofs, not promises.
Description
Describe what your Solana program must guarantee in .qedspec. QEDGen finds the bugs your tests miss, then generates the proofs, property tests, and CI to keep them fixed.
Final URL
Language
en (html)
Scanned at
2026-07-11 02:58:55