skills.rest
QEDGen avatar

QEDGen

Official

@qedgen

0Followers
|
8Public Repos
|
2Published Skills

Offers formal verification, test generation, and security auditing capabilities for Solana blockchain programs and smart contract ecosystems.

🐙 GitHub ↗
Skills Distribution
DomainCybersecurit...Smart Contract Aud.. (40%)Formal Verification (30%)Blockchain Testing (30%)

Agent Skills by QEDGen

Showing 2 vetted skills indexed across 1 GitHub repositories.

QEDGenQEDGen
67

qedgen

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

Official
Advanced
QEDGenQEDGen
67

qedgen-auditor

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

Official
Advanced

Frequently Asked Questions About QEDGen

FAQPage Schema
What specific tasks can I perform using QEDGen?▼

QEDGen enables the validation of .qedspec files, the generation of comprehensive test scaffolds, and the creation of formal proofs for Solana programs. It further facilitates security auditing by identifying vulnerabilities and generating reproducible evidence to ensure smart contract integrity.

Which engineering personas benefit from QEDGen?▼

QEDGen is designed for blockchain security researchers, smart contract engineers, and protocol developers working within the Solana ecosystem. It is specifically tailored for those requiring formal verification methods and rigorous testing frameworks to secure high-value decentralized financial applications.

What are the prerequisites for running QEDGen?▼

Users require an existing Solana program codebase and a defined .qedspec file to initiate verification. The environment must support standard Solana development dependencies, as the system relies on these to generate test scaffolds and execute the underlying formal proof logic.