Communitygithub.com

alexbanda08/solana-auditor-skill

Praktischer Solana/Anchor-Sicherheitsaudit-Workflow-Skill für das Solana AI Kit (statisch + manuell + dynamisch + Bericht); füllt den offiziellen Seed aus. MIT.

Was ist solana-auditor-skill?

Dieser Skill bietet einen vollständigen, praktischen Workflow für Sicherheitsaudits von Solana-Programmen, der die Phasen Scope -> Statisch -> Manuell -> Dynamisch -> Bericht umfasst. Er ergänzt andere Sicherheits-Skills im Solana AI Kit, wie formale Verifikation (QEDGen) und sichere Entwicklungshinweise (Trail of Bits/ghostsecurity), ohne diese zu duplizieren. Der Skill enthält detaillierte Referenzdokumente zu Methodik, Schwachstellenklassen, statischer und dynamischer Analyse, Anchor-Prüfungen und Berichtsvorlagen. Er unterstützt sowohl den Opus-Agenten für den interaktiven Audit-Lebenszyklus als auch den Sonnet-Agenten für die Erstellung des abschließenden, nach Schweregrad gestaffelten Berichts.

Funktioniert mit~Claude Code~Codex CLI~Cursor
npx skills add alexbanda08/solana-auditor-skill
Original anzeigen→Alle Skills durchsuchen

In Ihrer bevorzugten KI fragen

Öffnet einen neuen Chat, in dem dieser Agent-Skill bereits geladen ist.

OpenAIChatGPTClaudeClaudeGeminiGeminiGrokGrokPerplexityPerplexityDeepSeekDeepSeek

Dokumentation

solana-auditor

Ein praxisnaher Audit-Workflow für Solana-Programme: Scope -> Statisch -> Manuell -> Dynamisch -> Bericht, plus ein ausführbarer PoC und ein nach Schweregrad gestaffelter Findings-Bericht.

Umfang und Ergänzungen

Dieser Skill besitzt den Auditor-Workflow, die Tool-Orchestrierung, PoC und Berichterstellung. Er ergänzt, ohne zu duplizieren, die anderen Sicherheits-Skills im Solana AI Kit:

  • Formale Verifikation (QEDGen / solana-skills: Kani/Lean-Beweise) -> wenn ein Befund einen maschinell geprüften Invarianten-Beweis erfordert, verweise auf QEDGen; implementiere keine Beweise hier neu.
  • Secure-Dev-Leitfaden (Trail of Bits / ghostsecurity) -> allgemeine Anleitung; dieser Skill bleibt operativ (was ausführen, wie einen Bug nachweisen).
  • Fixes / Programmänderungen -> delegiere an den solana-dev-Skill über references/delegation.md.

Quellenpriorität (vor dem Handeln lesen)

  1. Nachweis pro Befund. Jeder gemeldete Issue benötigt einen konkreten Ort, eine Reproduktion (PoC oder exakte Trace), eine Impact-Erklärung und eine Schweregrad. Unterscheide bestätigt von vermutet.
  2. **Behaupte niemals, ein Programm sei „sicher

Verwandte Skills

steipete/sag

ElevenLabs text-to-speech with mac-style say UX.

community

steipete/oracle

Oracle CLI second-model review/debug/refactor/design with selected files, dry-run token checks, API or browser engine.

community

steipete/peekaboo

Capture and automate macOS UI with the Peekaboo CLI.

community

mattpocock/design-an-interface

Generate multiple radically different interface designs for a module using parallel sub-agents. Use when user wants to design an API, explore interface options, compare module shapes, or mentions "design it twice".

community

mattpocock/prototype

Build a throwaway prototype to flesh out a design — a runnable terminal app for state/business-logic questions, or several radically different UI variations toggleable from one route.

community

mattpocock/grill-me

Interview the user relentlessly about a plan or design until reaching shared understanding, resolving each branch of the decision tree. Use when user wants to stress-test a plan, get grilled on their design, or mentions "grill me".

community