solidity-security

用途：帮助开发者编写安全的 Solidity 智能合约、审计已有合约、实现安全的 DeFi 协议，并防范重入、溢出与访问控制等问题，同时兼顾 Gas 优化与专业审计准备。

主要能力：

1. 漏洞讲解与修复：重入（外部调用先于状态更新，改用 Checks-Effects-Interactions 或 OpenZeppelin ReentrancyGuard 的 nonReentrant）；整数溢出/下溢（Solidity 0.8+ 内置检查，旧版本用 SafeMath）；访问控制（Ownable 的 onlyOwner 或自定义角色 modifier）；抢跑（commit-reveal 提交与揭示）。
2. 安全模式：CEI 顺序、Pull over Push 支付、输入校验（零地址、金额、余额）、Pausable 紧急停止。
3. Gas 优化：优先 uint256、打包存储变量、函数参数用 calldata、必要时用事件替代存储。
4. 安全测试：Hardhat + Chai 示例，验证重入、溢出、访问控制是否被正确拦截。
5. 审计准备：NatSpec 文档、安全检查清单、静态分析工具（Slither、Mythril、Echidna、Manticore、Securify）。

使用方式：作为技能加载后，在编写或审计合约时参考其模式与清单；资料未提供具体安装命令或调用命令。

适用场景：智能合约开发、DeFi 协议实现、合约审计、上线前安全检查。

限制：资料未提供收费、价格、平台支持范围或效果保证；示例代码仅作模式说明，实际使用需结合具体版本与审计。