此技能涉及在MultiversX区块链平台上实现原子借出-执行-验证模式，用于安全执行闪电贷、原子交换等操作，确保交易在同一分片内原子性完成，防止重入攻击并验证还款。关键词：原子操作、闪存贷款、重入防护、分片验证、区块链安全、智能合约开发。

Hardhat框架技能是用于以太坊智能合约开发、测试和部署的专业工具集。它提供完整的开发环境，包括合约编译、本地网络部署、自动化测试、Gas费用分析、合约验证等功能。关键词：以太坊开发、智能合约、区块链开发、Solidity、Web3、DApp开发、合约测试、部署管理、TypeChain、网络分叉。

这个技能专注于Solidity智能合约的安全最佳实践，包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞，并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施，支持DeFi、Web3等区块链应用。关键词：Solidity，智能合约，安全，漏洞预防，DeFi，区块链，重入防护，燃气优化。

该技能提供了使用 MultiversX Python SDK 进行智能合约开发的完整指南，包括 ABI 加载、合约部署、函数调用和状态查询等操作。适用于区块链开发者，关键词：智能合约、ABI、部署、调用、查询、MultiversX、Python SDK、区块链开发、智能合约编程。

Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。

MultiversX澄清专家技能：专为MultiversX区块链开发设计，用于识别用户请求中的模糊需求，通过提出具体澄清问题来防止开发错误和资源浪费，提升开发效率和安全性。关键词：MultiversX、区块链开发、需求澄清、智能合约、安全审计、开发工具。

该技能涉及使用MultiversX区块链的Tx Builder API进行智能合约之间的跨合约调用，包括同步调用、异步调用、回调处理、代币支付和回传代币管理。它用于开发去中心化应用（DApp）、DeFi项目、NFT平台等区块链应用，提升智能合约的互操作性和功能扩展。关键词：MultiversX、跨合约调用、智能合约、区块链开发、DeFi、DApp、异步调用、回调处理。

该技能用于在区块链审计中验证代码是否精确实现文档规范，比较代码与白皮书或设计文档，找出规范与实现之间的差距，进行合规检查。关键词：区块链审计、智能合约、合规检查、规范验证、白皮书。

代币一键部署器是一款基于Clanker SDK的区块链工具，专门用于快速部署生产就绪的ERC20代币，并自动创建Uniswap V4流动性池。该工具支持Base、以太坊、Arbitrum等多条主流区块链网络，提供完整的代币部署解决方案，包括锁仓机制配置、交易手续费分配、狙击保护等功能。关键词：ERC20代币部署、Uniswap V4流动性池、区块链代币创建、智能合约部署、DeFi工具、代币锁仓机制、多链部署、代币营销工具。

区块链研究专家是一个专注于使用Zai MCP对EVM链、永久性去中心化交易所架构、中心化交易所集成和DeFi-TradFi桥接进行综合分析的专业研究代理。关键词包括：区块链研究、协议比较、技术可行性、安全审计、合规性分析。

Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。

这个技能用于在MultiversX区块链平台上分析WASM二进制文件，提供调试功能，包括代码大小分析、panic问题检测和DWARF调试符号支持，帮助开发者优化智能合约性能。关键词：WASM, 调试, MultiversX, 智能合约, DWARF, 二进制分析。