Audit Solana programs for vulnerabilities with reproducible proofs and skeleton specs.
npx skills add https://github.com/QEDGen/solana-skills --skill qedgen-auditor
Please help me install this Agent Skill. Skill: qedgen-auditor Source: https://github.com/QEDGen/solana-skills/tree/main/skills/qedgen-auditor Command: npx skills add https://github.com/QEDGen/solana-skills --skill qedgen-auditor
Auditors need a structured, repeatable workflow to discover real vulnerabilities in Solana programs and to generate reproducible proofs and guidance.
Run qedgen-auditor against a Solana program repository to initiate Phase 1 discovery.
High-intent search queries and answers about installing and using this skill.
Auditing a Solana program for vulnerabilities involves applying a structured workflow that blends spec discovery with reproducible proofs across Anchor, native Rust, and codegen targets to output documented findings and remediation specs.
Finding reproducible vulnerabilities in Rust programs requires a structured audit workflow that emits ranked digests with reproducible probes and codegen-ready artifacts for phase-2 ratification and remediation.
Yes, automated vulnerability discovery for Anchor programs operates in an initial phase that reads the codebase and emits repros, followed by user interviews and refined repros to finalize the audit.
A security audit workflow generates remediation specs by conducting autonomous discovery and user interviews, then outputting a skeleton specification alongside ranked findings and reproducible proofs for Solana programs.
Yes, the Solana vulnerability discovery process explicitly targets native Rust programs, Anchor programs, and codegen targets to identify real vulnerabilities and produce documented repros.
hongmaple0820Detect critical security vulnerabilities in Solana and Anchor programs.
babywormExecute the Phase 4→5 RTL implementation and verification pipeline from microarchitecture documents.
sablier-labsGuide Anchor-based Solana program development with PDA account modeling and testing.
winsorllcExecute linters, static analysis, and security scanners on code.
