solidity-security

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

主要能力：

1. 漏洞讲解与修复：重入（推荐 Checks-Effects-Interactions 模式或 OpenZeppelin ReentrancyGuard）、整数溢出/下溢（Solidity 0.8+ 内置检查，旧版本用 SafeMath）、访问控制（Ownable 或自定义角色修饰符）、抢跑（commit-reveal 缓解）。
2. 安全模式：CEI、Pull over Push 支付、输入校验、Pausable 紧急停止。
3. gas 优化：优先 uint256、打包存储变量、函数参数用 calldata、必要时用事件替代存储。
4. 安全测试：提供 Hardhat/Chai 测试示例，验证重入、溢出与权限控制。
5. 审计准备：NatSpec 文档、安全检查清单，以及 Slither、Mythril、Echidna、Manticore、Securify 等分析工具。

使用方式：作为技能加载后，按需查阅漏洞模式与安全模板；示例代码可直接参考，如 import "@openzeppelin/contracts/security/ReentrancyGuard.sol"; 与 nonReentrant 修饰符。

适用场景：编写或审计合约、实现 DeFi、准备专业审计、理解常见攻击向量。

限制：资料未提供具体安装命令、收费与价格、平台支持范围及实际效果数据；示例基于 Solidity 与 OpenZeppelin，需自行验证版本兼容性。