智能合约安全分析,支持漏洞检测、形式化验证和 Gas 优化
npx skills add pluginagentmarketplace/custom-plugin-blockchain@smart-contract-security在终端运行即可安装。支持 Claude Code、Cursor、Windsurf 等 42 个 AI 平台。
Smart contract security analysis with vulnerability detection, formal verification and gas optimization