{"query":"qedgen.dev","mode":"domain","best":{"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","why":["authority 46 (listed)","checked 187 minutes ago","publishes llms-full.txt"]},"read":{"llms_txt":"https://qedgen.dev/llms.txt","llms_full_txt":"https://qedgen.dev/llms-full.txt","nested_llms_txt":[]},"terms":null,"health":{"ok":true,"status":"valid","tier":"listed","authority":46,"last_checked":"2026-10-25T06:13:49.535Z","checked_minutes_ago":187,"stale":false,"max_age_seconds":86400,"live_checked":false,"http_status":200,"last_valid":"2026-10-25T06:13:49.535Z","content_hash":"a392f7424ce7e4bbe416bc6e6120121d","documentation_indexed_at":"2026-10-25T06:13:49.119Z"},"sources":[],"match":{"strength":"domain","reason":"Exact domain or its registered publisher."},"provenance":{"selection":"directory","reranked":false,"verification":"domain_ownership","terms":"unknown","excerpts":"publisher_link_metadata","health":"stored_crawl"},"alternatives":[]}