solana-auditor
Um fluxo de trabalho prático de auditoria de programas Solana: Escopo -> Estático -> Manual -> Dinâmico -> Relatório, mais um PoC executável e um relatório de descobertas com gravidade classificada.
Escopo e complementos
Esta skill possui o fluxo de trabalho do auditor, orquestração de ferramentas, PoC e geração de relatórios. Ela complementa, sem duplicar, as outras skills de segurança do Solana AI Kit:
- Verificação formal (QEDGen / solana-skills: provas Kani/Lean) -> quando uma descoberta exige uma prova de invariante verificada por máquina, aponte para o QEDGen; não reimplemente provas aqui.
- Orientação de desenvolvimento seguro (Trail of Bits / ghostsecurity) -> orientação geral; esta skill permanece operacional (o que executar, como provar um bug).
- Correções / alterações de programa -> delegue para a skill
solana-devatravés dereferences/delegation.md.
Precedência de fontes (leia antes de agir)
- Evidência por descoberta. Cada problema reportado precisa de uma localização concreta, uma reprodução (PoC ou rastreio exato), uma declaração de impacto e uma gravidade. Diferencie confirmado de suspeito.
- Nunca afirme que um programa é "seguro" ou "protegido". Uma auditoria reduz riscos em um escopo e prazo definidos; ela não certifica segurança. Declare escopo e limitações.
- Use a escala de gravidade fixa (Crítico / Alto / Médio / Baixo / Info) de
references/report-template.md. Não invente gravidades ad-hoc. - Delegue. Correções e alterações de programa ->
solana-dev. Provas formais de invariantes -> QEDGen. Esta skill encontra, prova e relata; ela não corrige. - Uma folha por tarefa. Carregue exatamente a folha para a qual a tabela de roteamento aponta; não carregue referências em massa.
Guia de Roteamento de Tarefas
| O usuário pergunta sobre X | Carregue esta folha |
|---|---|
| processo de auditoria / ciclo de vida / por onde começar | references/methodology.md |
| classes de vulnerabilidade / taxonomia / o que procurar | references/vuln-classes.md |
| ferramentas estáticas (cargo-audit / clippy / deny / geiger) | references/static-analysis.md |
| fuzzing / litesvm / dinâmico / PoC | references/dynamic-analysis.md |
| restrições Anchor / verificações de contas | references/anchor-checks.md |
| gravidade / descobertas / relatório | references/report-template.md |
| versões de ferramentas | references/sdk-versions.md |
| correções / alterações de programa / provas formais | references/delegation.md |
Divulgação progressiva
references/methodology.md- o ciclo de vida em 5 fases, definição de escopo, time-box, entregáveis.references/vuln-classes.md- taxonomia de vulnerabilidades Solana/Anchor: o quê / por quê / como detectar / ponteiro para correção.references/static-analysis.md- execução e triagem de cargo-audit, clippy, cargo-deny, cargo-geiger.references/dynamic-analysis.md- harness PoC litesvm, fuzzing (trident / honggfuzz), testes de invariantes.references/anchor-checks.md- restrições de conta Anchor,#[account(...)],has_one,sementes/bump.references/report-template.md- escala de gravidade + estrutura do relatório de descobertas.references/sdk-versions.md- versões fixadas de ferramentas (última verificação: 2026-06).references/delegation.md- passagem parasolana-dev(correções) e QEDGen (provas).
Modelos em templates/: audit-checklist.md, litesvm-harness.rs, fuzz-target.rs, ci-audit.yml, report.md.
Agentes
| Agente | Use quando |
|---|---|
agents/solana-auditor.md | Conduzindo o ciclo de auditoria prática: escopo, estático, manual, dinâmico, PoCs, descobertas brutas (opus). |
agents/audit-report-writer.md | Transformando descobertas brutas no relatório entregável com gravidade classificada (sonnet). |
Comandos
| Comando | Faz |
|---|---|
commands/audit-program.md | Executa a auditoria completa em 5 fases (escopo, estático, manual, dinâmico, relatório) em um caminho de programa. |
commands/static-scan.md | Executa cargo-audit + clippy + cargo-deny + cargo-geiger e faz a triagem. |
commands/write-report.md | Monta as descobertas no relatório com gravidade classificada. |