beardedwheatgrasswalkupapartment951/solana-skills

O que é solana-skills?

Esta skill permite que desenvolvedores Solana definam garantias formais sobre seus programas em arquivos .qedspec e utilizem a ferramenta QEDGen (Quantum Equilibrium Disruption Generator) para validar essas especificações e detectar bugs antes da implantação na mainnet. Diferente de testes tradicionais, que cobrem apenas casos específicos, o QEDGen analisa o código do programa em busca de violações das garantias definidas, ajudando a evitar vulnerabilidades críticas como estouros de buffer, reentrância ou falhas de lógica de negócio. A skill suporta ambientes de desenvolvimento baseados em Rust/Anchor, integrando-se ao fluxo de trabalho de CI/CD para verificar automaticamente as especificações a cada alteração no código. Ela é particularmente útil para projetos de alto valor ou DeFi, onde a segurança é primordial, pois oferece uma camada adicional de verificação além dos testes unitários e de integração tradicionais. O processo envolve escrever arquivos .qedspec com declarações de garantias, executar o QEDGen via CLI e interpretar os relatórios gerados para corrigir possíveis problemas antes do deploy.