{"domain":"qedgen.dev","status":"valid","tier":"listed","authority":46,"verified":false,"title":"QEDGen","summary":"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. Supports Anchor, Quasar, Pinocchio, and native sBPF assembly — and audits existing programs without a spec: `qedgen probe` hypothesizes the invariants the code appears to enforce, and `qedgen ratify` turns confirmed ones into an executable spec (`qedgen adapt` / `qedgen spec --idl` are deprecated in favor of this flow). Insta","country":"US","country_source":"ip","publisher_country":null,"publisher_country_source":null,"hosting_country":"US","llms_txt":"https://qedgen.dev/llms.txt","llms_full_txt":"https://qedgen.dev/llms-full.txt","last_checked":"2026-10-25T06:13:49.535Z","agent_terms":null,"categories":[],"capabilities":[],"inferred_tags":[],"audience":null,"agent_uses":[],"language":null,"platform_generated":null,"agent_summary":null,"llms_txt_cached":"https://agentwebmap.com/v1/domain/qedgen.dev/llms.txt","agentic":null,"section_keys":["docs","examples","optional","rust-anchor","sbpf-assembly"],"section_partial":false,"section_indexed_at":"2026-10-25T06:13:49.108Z"}