智能合约 Skill技能列表
刺猬智能合约模糊测试技能Skill echidna-fuzzer
Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
内存代币账本模式Skill multiversx-vault-pattern
这个技能用于区块链智能合约开发中，通过内存数据结构（如ManagedMapEncoded和ManagedVec）高效追踪多步代币操作的中间余额，避免昂贵的存储写入，优化Gas使用，适用于DeFi应用、批量处理、原子交换等场景。关键词：内存代币记账、智能合约优化、多步操作、代币追踪、Gas节省、区块链开发。
Solidity智能合约安全指南Skill solidity-security
本指南提供Solidity智能合约开发的核心安全模式与漏洞防范措施，涵盖重入攻击防护、访问控制、整数安全、预言机安全、闪电贷风险及Gas优化等关键领域。适用于以太坊智能合约开发者、安全审计员和区块链工程师，帮助构建安全可靠的DeFi、NFT及链上应用。关键词：Solidity安全，智能合约审计，重入攻击，访问控制，预言机，闪电贷，Gas优化，区块链安全。
智能合约部署前审计清单Skill smart-contract-audit
这是一个用于在区块链智能合约部署到测试网或主网之前，进行系统性安全审计的检查清单。它涵盖了从静态代码分析、访问控制、重入攻击防护、升级安全性、经济模型风险、Gas优化、外部依赖管理到事件与文档的完整审计维度。关键词：智能合约审计、区块链安全、DeFi安全、Solidity、合约部署、安全清单、漏洞检查。
MultiversX跨合约存储读取Skill mvx_cross_contract_storage
该技能用于在MultiversX区块链上直接读取同一分片智能合约的存储，无需代理调用，减少气体开销和异步复杂性。适用于智能合约开发、区块链应用优化和性能提升。关键词：MultiversX, 跨合约, 存储读取, 智能合约, 区块链开发, 气体优化。
MultiversXSDK-JS智能合约操作Skill mvx_sdk_js_contracts
本技能专注于使用 MultiversX 的 TypeScript/JavaScript SDK 进行智能合约开发，涵盖 ABI 加载、部署、调用、查询和解析等操作。适用于区块链开发者，关键词：智能合约，MultiversX，SDK，部署，调用，查询，ABI，区块链开发。
MultiversX陷阱识别Skill mvx_sharp_edges
这个技能用于识别MultiversX区块链平台中的常见陷阱和非显而易见问题，帮助开发者避免在智能合约开发中遇到的异步调用失败、Gas管理、存储优化、令牌精度、合约升级和区块信息使用等方面的错误。关键词：MultiversX, 智能合约, 陷阱, WASM, Gas, 异步调用, 区块链开发。
MultiversX属性测试Skill mvx_property_testing
本技能专注于使用属性测试（如模糊测试）在MultiversX区块链平台上验证智能合约的逻辑正确性，通过定义和测试不变量来发现潜在的错误和边缘情况。关键词：属性测试、模糊测试、智能合约、Rust、MultiversX、不变量、区块链测试、自动化测试。
MultiversX智能合约最佳实践指南Skill mvx_sc_best_practices
本技能提供编写安全、高效、符合最佳实践的MultiversX智能合约的全面指南，涵盖存储优化、安全模式、测试方法、代码结构等关键方面，适用于区块链开发者、智能合约工程师和审计人员。关键词：MultiversX, 智能合约, Rust, 最佳实践, 安全, 气效率, 存储, 测试, 区块链开发。
Web3智能合约开发工具链Skill web3-hardhat
Hardhat 是一个基于 TypeScript/JavaScript 的以太坊智能合约开发、测试和部署工具链。它提供了一套完整的开发环境，包括合约编译、本地节点、自动化测试、脚本部署、合约验证以及丰富的插件生态系统。适用于 Solidity 开发者进行区块链 DApp 和智能合约的快速开发与迭代。关键词：Hardhat, 智能合约, Solidity, 以太坊开发, 区块链工具, 合约测试, 合约部署, Web3开发。
MultiversX智能合约缓存优化Skill mvx_cache_patterns
这个技能用于在 MultiversX 区块链平台上优化智能合约的 gas 消耗，通过实现基于 Drop trait 的回写缓存模式，减少存储操作成本，提高性能。关键词：MultiversX, 缓存, gas 优化, 智能合约, Drop trait, 回写缓存。