Total Skills
1
Author Profile: QEDGen
Skills published by QEDGen with real stars/downloads and source-aware metadata.
Total Stars
51
Total Downloads
0
Skills Performance
Comparison chart based on real stars and downloads signals from source data.
qedgen
51
Stars
51
Downloads
0
Published Skills
qedgen
Find the bugs your tests miss. Define what your Solana program must guarantee in a .qedspec — QEDGen validates it and generates tests, proofs, and CI to keep it fixed. Trigger when the user wants to verify code, write a .qedspec, generate tests or proofs, check program properties, or ship to mainnet with confidence. Also trigger on "qedgen", "qedspec", "verify my code", "prove correctness", "formal verification", "property testing".
Repository SourceNeeds Review