Agent Skills Hub

solana-vulnerability-scanner

扫描 Solana 程序 (原生/Anchor) 以查找 6 种关键漏洞，包括任意 CPI、不当 PDA 验证及缺失所有权检查，并提供详细的修复建议。

property-based-testing

为软件和智能合约提供属性基础测试 (PBT) 的自动化指导，以提升测试覆盖率并强化边缘案例检测。

entry-point-analyzer

通过识别和分类智能合约代码库中的状态变更进入点，绘制攻击面地图。