Solana Fuzz — Development skill for Claude Code
Claude Code / Codex skill that writes Trident property and invariant fuzz tests for Solana programs (Anchor and native).
How to install Solana Fuzz
This entry records only its repository, not the path inside it, so there is no
exact command to give. Open belumume/solana-fuzz and copy the folder into
~/.claude/skills/, or the file into ~/.claude/agents/.
What Solana Fuzz does
Claude Code / Codex skill that writes Trident property and invariant fuzz tests for Solana programs (Anchor and native).
Alternatives in Development
- Fuzz 2.3k ★
- /token Scan — Fast rug pull detection for meme coins and token contracts 1.7k ★
- Query Address Info — Retrieve all token holdings and portfolio positions for any wallet address on BSC, Base, or Solana 483 ★
README
solana-fuzz
An MIT-licensed Claude Code / Codex skill that writes [Trident](https://github.com/Ackee-Blockchain/trident) property-based fuzz tests and invariant checks for Solana programs (Anchor and native).
Most Solana programs ship with happy-path example tests and nothing else. Fuzzing, the part that surfaces the runtime logic bugs, is the piece that usually gets left manual, so most teams skip it. Trident is the Solana Foundation supported fuzzer from Ackee Blockchain, but wiring it up by hand for every program is real work. This skill does that wiring: point an agent at a program and its IDL, and it scaffolds the Trident harness, writes the per-instruction flows that drive each instruction with random input, and writes the capture-before/after invariant checks that assert the program's state stays correct.
This is dynamic, dev-loop property testing. It is not a static auditor and it does not replace example-based tests (LiteSVM, Mollusk, Surfpool); it complements them.
The skill
The skill lives in [`solana-fuzz/SKILL.md`](solana-fuzz/SKILL.md) with progressive-disclosure reference files under [`solana-fuzz/references/`](solana-fuzz/references/):
setup.md: toolchain, init, run, and the real build gotchas (edition2024 / MSRV / platform-tools)flows.md:#[init]/#[flow]/#[end], driving instructions, random inputsinvariants.md: the capture-before/after pattern, expected-failure handlingaccounts.md: fuzz accounts, PDA seeds, reading typed stateregression.md: comparing behavior across program versions
Install it with the bundled [`install.sh`](install.sh) (copies `solana-fuzz/` into your skills directory; set `SKILLS_DIR=...` to choose where, `WITH_TRIDENT=1` to also `cargo install trident-cli --locked`). Or drop `solana-fuzz/` into your skills directory by hand, or reference `SKILL.md` directly.
Worked example: a vault the fuzzer breaks
[`solana-fuzz/examples/vault/`](solana-fuzz/examples/vault/) is a complete, runna
Related Skills
Build Program
Build Solana programs (Anchor, Pinocchio, native), incl. verifiable builds
Generate Idl Client
Generate TypeScript client from Solana program IDL using Codama or Anchor
Compile Check
Compiler health check — invariant tests, blueprint schema validation, example drift, claude-code-action input
Ultra Goal Skill
UltraGoal — an Agent Skill that interviews you into a grounded goal (intent, anchor, boundary, droppable means
Token 2022
Comprehensive guide to SPL Token-2022 (Token Extensions) — transfer hooks, confidential transfers, metadata, t
Ecommerce Cia
Claude Code / Codex skill: audits an e-commerce system as a Viable System (Stafford Beer VSM). Payments, stock
Related Agents
Anchor Engineer
Anchor framework specialist for rapid Solana program development. Use for building programs with Anchor macros
Solana Programmer
Implement, test, and deploy Solana programs with Anchor and Rust
Evaluator Svm Agent
SVM (Solana) smart-contract vulnerability evaluator — spawned per smart_contract surface with chain_family=svm