skills.rest
QEDGenQEDGenOfficial·2 Agent Skills Included

solana-skills

Formal verification and security audits for Solana programs

Verifies Solana programs against a written specification and generates property tests, Kani harnesses, Lean proofs, and Rust scaffolds. Audits existing Anchor, Quasar, Pinocchio, and native Rust code for real vulnerabilities with reproducible evidence instead of advisory noise. Eliminates manual test writing and guesswork by turning one spec into every verification artifact. Keeps code, proofs, and specs synchronized so fixed bugs stay fixed.
67|7
↗
npx skills add QEDGen/solana-skills --all -g -y
Available:

Instructs the agent on the spec-driven verification loop, when to escalate proof work to external solvers, and how to route between the main verification skill and the auditor sub-skill.

All Skills in This Repository (2)

Pure Emerald Level Indicators
📦 In Repo
QEDGenQEDGen

qedgen

Validate .qedspec files and generate tests, proofs, and scaffolds for Solana programs.

Official
Advanced
📦 In Repo
QEDGenQEDGen

qedgen-auditor

Audit Solana programs for vulnerabilities with reproducible proofs and skeleton specs.

Official
Advanced

Frequently Asked Questions

FAQPage Schema
How to install solana-skills?▼

Run `npx skills add QEDGen/solana-skills --all -g -y` in your terminal to install all skills in this repository globally.

How to formally verify a Solana program?▼

Write a .qedspec describing what your program must guarantee, then run qedgen check and qedgen codegen to generate tests, Kani harnesses, and Lean proofs from that single spec.

How to audit an existing Solana program for vulnerabilities?▼

Invoke the qedgen-auditor skill on your Anchor, Quasar, Pinocchio, or native Rust program. It surfaces confirmed findings with reproducible test evidence, not speculative warnings.

Does solana-skills work with Claude Code and Cursor?▼

Yes. All skills follow the universal SKILL.md standard and run in Claude Code, Cursor, Windsurf, GitHub Copilot, and any compatible coding agent.

Do I need formal verification experience to use QEDGen?▼

No. Your agent writes the spec, fills generated code stubs, and runs the proof backends for you based on plain-English requests.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills