智能合约 Skill技能列表
Slither智能合约安全分析Skill slither-analysis
Slither智能合约安全分析技能是一个与Slither静态分析框架深度集成的专业工具，专门用于Solidity智能合约的自动化安全审计、漏洞检测和代码质量评估。该技能支持运行所有内置安全检测器（如重入攻击、未初始化存储、任意转账等），提供自定义配置、可视化分析（调用图、继承图）、误报过滤和多种格式报告输出（JSON、Markdown、SARIF）。适用于智能合约开发、安全审计、CI/CD集成和区块链安全研究，帮助开发者识别和修复智能合约中的安全漏洞和代码缺陷。 关键词：Slither分析，智能合约安全，Solidity漏洞检测，区块链安全审计，静态代码分析，重入攻击检测，DeFi安全，智能合约开发工具，安全自动化，代码质量检查
ERC-8004技能Skill doppel-erc-8004
本技能指导用户如何在Base主网上使用ERC-8004协议为自己的AI代理设置钱包、充值、注册链上身份，并将身份信息报告回Doppel中心以获得声誉和代币分配。
Compact合约设计与架构审查技能Skill compact-reviewer:design-architecture
这是一个用于审查和评估Compact智能合约设计与架构的专业技能。它提供了一套系统化的评估框架，帮助开发者检查合约的结构合理性、设计模式应用、模块化程度、API设计质量以及代码组织。关键词：智能合约设计、架构审查、设计模式、模块化、API设计、代码组织、区块链开发、Compact合约。
紧凑型代码可维护性审查Skill compact-reviewer:maintainability
本技能用于评估代码（特别是智能合约）的长期可维护性，识别潜在的技术债务，并提供模块化设计、重构和升级策略的指导。关键词：代码可维护性、技术债务、模块化设计、重构指南、升级策略、智能合约审查、未来验证。
区块链陷阱防范Skill pitfalls-blockchain
本技能提供区块链开发中的最佳实践指南，涵盖RPC错误处理、Gas费用估算、多链配置、交易管理等关键场景。包含智能合约调用安全、防回滚策略、并发交易处理、跨链开发等技术要点，帮助开发者避免常见陷阱，提升DApp稳定性和安全性。关键词：区块链开发、智能合约、RPC错误处理、Gas估算、多链配置、交易管理、Web3安全、DeFi开发、DApp优化
MEV防护Skill mev
MEV防护是一种用于保护加密货币交易免受最大可提取价值（MEV）攻击的技术，包括夹心攻击和抢先交易。它通过私有内存池、Jito/Flashbots等技术手段，减少交易被操纵的风险，确保交易的安全性和公平性。
TrailofBits智能合约安全审查技能Skill claude-tob-review
这个技能用于基于 Trail of Bits 方法论，对 Solidity 智能合约进行深度安全分析，包括漏洞发现、严重性评级和不变性测试建议，适用于合约审查、安全审计和部署前的准备。关键词：Solidity, 智能合约, 安全审查, Trail of Bits, 漏洞挖掘, 安全审计。
MultiversX规范合规性验证Skill multiversx-spec-compliance
这个技能用于验证MultiversX智能合约实现是否匹配其设计规范、白皮书和MIP标准。它涉及提取要求、映射代码、验证逻辑和记录发现，适用于审计、tokenomics实现验证和MIP合规性检查。关键词：智能合约审计、规范验证、MultiversX、MIP标准、代码审查。
MultiversX财产测试技能Skill multiversx-property-testing
本技能专注于使用财产测试和模糊测试技术来测试MultiversX智能合约，自动发现逻辑中的边缘案例和违反不变量情况，确保合约的鲁棒性和安全性。关键词：财产测试、模糊测试、智能合约测试、MultiversX、不变量验证、边缘案例发现。
原子借贷-执行-验证模式Skill multiversx-flash-loan-patterns
用于在MultiversX区块链上实现原子借贷、闪电贷等操作的智能合约模式。此模式确保资产借出、执行回调、验证还款和手续费在单笔交易内完成，增强安全性和原子性，适用于DeFi应用如闪贷和原子交换。关键词：MultiversX, 原子借贷, 闪电贷, 智能合约, 安全模式, Rust, DeFi, 区块链开发。