belumume

Solana Fuzz — Development skill for Claude Code

Development community

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 ★
  • Zeron — A native control plane for Claude Code, Codex, Cursor, Devin and other coding agents 1.4k ★

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 inputs
  • invariants.md: the capture-before/after pattern, expected-failure handling
  • accounts.md: fuzz accounts, PDA seeds, reading typed state
  • regression.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