Agent Skills Hub

solana-vulnerability-scanner

Scans Solana programs (native/Anchor) for 6 critical vulnerabilities, including arbitrary CPI, improper PDA validation, and missing ownership checks, providing detailed fix recommendations.

property-based-testing

Automated guidance for implementing property-based testing (PBT) in software and smart contracts to improve test coverage and edge case detection.

entry-point-analyzer

Map the attack surface of smart contract codebases by identifying and categorizing state-changing entry points.