该技能用于分析智能合约代码版本之间的差异，重点关注升级时的安全检查和存储布局变化，确保升级过程的安全性和数据一致性。关键词：智能合约、差异分析、安全审查、存储布局、升级检查。

MEV防护是一种用于保护加密货币交易免受最大可提取价值（MEV）攻击的技术，包括夹心攻击和抢先交易。它通过私有内存池、Jito/Flashbots等技术手段，减少交易被操纵的风险，确保交易的安全性和公平性。

此技能用于验证智能合约代码是否与设计文档（如白皮书、MIP）一致，确保实现符合规范，便于区块链项目审计和合规检查。关键词：智能合约、规范符合性、区块链审计、MIP 验证、白皮书验证。

本技能专注于使用属性测试（如模糊测试）在MultiversX区块链平台上验证智能合约的逻辑正确性，通过定义和测试不变量来发现潜在的错误和边缘情况。关键词：属性测试、模糊测试、智能合约、Rust、MultiversX、不变量、区块链测试、自动化测试。

Hardhat 是一个基于 TypeScript/JavaScript 的以太坊智能合约开发、测试和部署工具链。它提供了一套完整的开发环境，包括合约编译、本地节点、自动化测试、脚本部署、合约验证以及丰富的插件生态系统。适用于 Solidity 开发者进行区块链 DApp 和智能合约的快速开发与迭代。关键词：Hardhat, 智能合约, Solidity, 以太坊开发, 区块链工具, 合约测试, 合约部署, Web3开发。

本技能用于分析和优化区块链智能合约（特别是Compact电路）的性能。它专注于识别性能瓶颈、优化约束数量、减少证明生成时间以及降低Gas和计算成本。关键词包括：电路性能、约束优化、证明生成、Gas成本、性能分析、智能合约优化、区块链效率。

这个skill用于在Python中创建能够自动处理Algorand上的402支付的HTTP客户端，关键词包括'x402客户端'、'Algorand支付'、'自动支付处理'、'ClientAvmSigner'。

Clodds API集成指南，提供计算资源、市场数据、交易执行等API服务，支持USDC支付，适用于区块链、量化金融领域。

使用ERC-8004链上注册表验证代理身份，防止冒充攻击，增强交易安全。

这个技能提供访问MultiversX区块链官方文档的能力，帮助用户解决技术问题、验证实现细节、查找协议信息和最佳实践，适用于开发者、研究人员和生态用户。关键词：MultiversX文档，区块链开发，智能合约，ESDT，技术咨询，文档搜索。

这个技能专注于使用Hardhat和Foundry工具对Web3智能合约进行全面的测试，包括单元测试、集成测试、气体优化、模糊测试和主网分叉测试。适用于Solidity合约开发、区块链应用测试和DeFi协议验证，关键词包括Web3、智能合约测试、Hardhat、Foundry、单元测试、集成测试、气体优化、模糊测试、主网分叉、Solidity、DeFi、Etherscan验证。

本技能专注于MultiversX区块链平台上的智能合约开发，提供生产级项目结构模式，包括单合约架构、模块化设计、错误处理、命名约定等，帮助开发者构建高效、可维护的智能合约。关键词：MultiversX, 智能合约, 区块链, 项目架构, Rust开发, 模块化设计, 错误处理。