Communitygithub.com

beardedwheatgrasswalkupapartment951/solana-skills

Define Solana program guarantees in .qedspec files and use QEDGen to validate specs and find bugs before mainnet deployment

What is solana-skills?

solana-skills is a Claude Code agent skill that define Solana program guarantees in .qedspec files and use QEDGen to validate specs and find bugs before mainnet deployment.

Works with~Claude Code~Codex CLI~Cursor
npx skills add beardedwheatgrasswalkupapartment951/solana-skills

Ask in your favorite AI

Open a new chat with this agent skill pre-loaded.

Documentation

What does solana-skills do?

Define Solana program guarantees in .qedspec files and use QEDGen to validate specs and find bugs before mainnet deployment

Related Skills