qedgen

qedgen is a Smart contracts & Web3 skill for AI agents, published by QEDGen in the solana-skills repository on GitHub. Skillspace rates qedgen D (65/100) and it passed the safety scan; the rating is based on static analysis only.

Find the bugs your tests miss. Define what your Solana program must guarantee in a .qedspec; QEDGen validates it, generates tests and proofs, and scaffolds agent-fill Rust code. Trigger when the user asks for "qedgen", "qedspec", "verify my code", "prove correctness", formal verification, property testing, generated Kani/proptest/Lean artifacts, or Solana program correctness.

Grade
D
Quality
65 / 100
Safety
Passed
GitHub stars
65

Unproven: rated by static analysis only, not yet compared head-to-head.

This rating describes the version of the repository we crawled; it may have changed since, so go by its current files.

View source on GitHubQEDGen/solana-skills

Our review

Architecture
91 / 100
Maturity
Structured: ships references or scripts
Security scan
Low-risk patterns
License
MIT
Adoption
Adopted by 0 other repositories, in 0 collections

What the scanner flagged

  • mentions secrets in text

Not checked yet

  • Not judged on the rubric yet (not a contender in its category)
  • No blind task eval yet
  • Scope (portable / vendor / repo-internal) not assessed; only the top of each category is read for scope
  • Sibling files (scripts, references) not fetched; security scan covers SKILL.md only

Better-rated skills in Smart contracts & Web3

Skillspace indexes and rates this skill; it does not host or endorse it. Run third-party skills at your own risk.