🎯

solana-audit

🎯Skill

from workersio/spec

What it does

A structured security audit skill for Solana smart contracts covering 25 vulnerability types, systematically walking through attack vectors from missing signer checks and PDA validation to re-initialization attacks and arithmetic overflows.

📦

Same repository

workersio/spec(9 items)

solana-audit

Installation

Vibe Index InstallInstalls to .claude/skills/ - auto-recognized by Claude Code

npx vibeindex add workersio/spec --skill solana-audit

skills.sh Install⚠ Installs to .agents/skills/ - may not be auto-recognized by Claude Code

npx skills add workersio/spec --skill solana-audit

Manual InstallCopy SKILL.md content and save to the path below

~/.claude/skills/solana-audit/SKILL.md

SKILL.md

112Installs

AddedMar 5, 2026

View on GitHub Back to Skills

More from this repository8

Skill

Skill

Part of the workers.io software correctness skills suite, providing Lean 4 proof verification and repair capabilities as a Claude Code slash command for formal verification of mathematical proofs and program correctness.

🎯

skill-benchmark🎯Skill

Part of the workers.io spec collection for software correctness, this skill benchmarks whether an AI agent skill actually improves outcomes, alongside tools for formal verification, model checking, and security auditing.

🎯

workers-app-tester🎯Skill

Part of workers.io's software correctness skills for Claude Code covering formal verification, model checking, and security auditing as slash commands. Provides mobile application security testing capabilities alongside proof repair and benchmarking tools.

🎯

fuzzer🎯Skill

Skill

🎯

audit-context-building🎯Skill

Skill

🎯

kage🎯Skill

Skill