solana-audit
Installation
SKILL.md
Solana Smart Contract Audit
Trigger
Activate this skill when the user asks to:
- Audit, review, or analyze a Solana program for security vulnerabilities
- Check a Solana smart contract for bugs or exploits
- Perform security analysis on code containing
solana_program,anchor_lang,pinocchio,#[program], or#[derive(Accounts)]
Workflow
Phase 0: Setup & Configuration
Before scanning, establish the audit scope and check for prior data.
Step 1 — Ask the user 3 configuration questions (skip if user says "just audit it" or equivalent):
Related skills
More from workersio/skills
save
Save this session as a reusable agent
1kage
>
1fuzzer
>
1kani-proof
>-
1axiom-verify
Verify and transform Lean 4 proofs using the Axiom (Axle) API. Use when the user works with Lean 4 code, formal mathematics, Mathlib theorems, or mentions axiom, axle, lean verify, proof verification, formal proof, or theorem checking -- even if they don't explicitly say "axiom" but are clearly working with Lean proofs that need machine verification.
1skill-benchmark
>
1