solana-program-review
OfficialFind Solana on-chain security flaws early.
Software Engineering#security audit#anchor#solana#pda derivation#smart contract review#cpi safety#on-chain authorization
AuthorXipher-Labs
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Preventing exploitable vulnerabilities in Solana on-chain programs by enforcing the correct security checks and threat-model assumptions before code ships.
Core Features & Use Cases
- Review signer and owner authorization: verify signer requirements, enforce program ownership for account data, and prevent unauthorized reads/writes.
- Validate Anchor account safety: catch discriminator/type confusion, account constraint omissions, and dangerous init/realloc patterns.
- Harden Solana-specific logic: check arithmetic for overflow/underflow, PDA seed derivation correctness, CPI reentrancy surfaces, compute-budget DoS risks, and funds-handling invariants.
Quick Start
Use this skill to review a pull request that changes any files under programs/ and fixes all issues blocking signer checks, owner checks, PDA seed safety, and funds-handling constraints.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: solana-program-review Download link: https://github.com/Xipher-Labs/walter-os/archive/main.zip#solana-program-review Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.