此技能涉及MultiversX区块链平台的内存令牌分类账模式，用于在智能合约中高效管理多步令牌操作的中间余额，避免不必要的存储写入，提升交易性能和原子性。关键词：MultiversX, 内存令牌分类账, 智能合约, 中间余额, 令牌管理, 区块链开发。

本技能是关于Midnight区块链智能合约开发中Compact编译器的完整工具指南。它详细介绍了如何使用compactc编译器进行合约编译、配置构建设置、理解零知识证明（ZK）相关的输出产物（如zkir、证明者/验证者密钥），以及如何设置开发环境（如COMPACT_PATH）和集成VS Code语言服务器以获得更好的开发体验。关键词包括：Midnight区块链，Compact编译器，智能合约开发，零知识证明，ZK证明，DApp开发，编译工具链，VS Code集成。

该技能用于分析和识别MultiversX区块链智能合约的入口点，包括端点、视图和支付函数，以评估安全风险。关键词：智能合约分析、入口点识别、风险分类、区块链安全。

本技能提供Midnight区块链上Compact智能合约开发的代码审查指导。它专注于识别和推广惯用的编程模式、推荐的最佳实践，并指出开发过程中应避免的常见错误。关键词：智能合约开发，Compact语言，最佳实践，代码审查，Midnight区块链，编程模式，常见错误。

这是一个用于智能合约代码审查的专用技能，专注于检测紧凑型智能合约中的关键缺陷。它能自动识别逻辑错误、断言问题、类型不匹配、死代码、不可达路径和控制流问题，确保合约的正确性和安全性。适用于区块链开发者、智能合约审计员和安全工程师。关键词：智能合约审计，代码审查，逻辑错误检测，区块链安全，Compact语言，断言分析，控制流分析，类型检查。

本技能指导用户如何在Base主网上使用ERC-8004协议为自己的AI代理设置钱包、充值、注册链上身份，并将身份信息报告回Doppel中心以获得声誉和代币分配。

这个技能用于识别MultiversX区块链平台中的常见陷阱和非显而易见问题，帮助开发者避免在智能合约开发中遇到的异步调用失败、Gas管理、存储优化、令牌精度、合约升级和区块信息使用等方面的错误。关键词：MultiversX, 智能合约, 陷阱, WASM, Gas, 异步调用, 区块链开发。

Mythril 符号执行技能是一个用于智能合约安全审计的自动化工具。它通过符号执行技术深度扫描以太坊虚拟机（EVM）字节码，自动检测重入攻击、整数溢出、无保护自毁等关键安全漏洞。该工具支持配置交易深度、超时设置，并能生成概念验证（PoC）利用代码，帮助开发者和安全工程师在部署前发现并修复合约漏洞。关键词：智能合约安全，符号执行，漏洞检测，Mythril，以太坊安全，重入攻击，整数溢出，安全审计，区块链安全，EVM字节码分析。

Midnight开发环境搭建指南，提供零知识智能合约和DApp开发所需的完整工具链配置。包括Node.js、Docker、Compact编译器、证明服务器等关键组件的安装与验证步骤，帮助开发者快速搭建隐私优先的区块链开发环境。关键词：Midnight开发环境、零知识证明、智能合约、DApp开发、Compact编译器、区块链工具链、隐私计算、开发环境配置

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

这个技能是Move语言代码质量自动化分析工具，用于基于Move 2024 Edition标准和最佳实践检查智能合约代码。它自动扫描.move文件和Move.toml清单，分析代码组织、结构体、函数、测试等11个类别，提供具体反馈以优化区块链智能合约开发。关键词包括：Move语言，代码质量，代码审查，智能合约，区块链，Sui，最佳实践，自动化分析。

本技能专注于诊断和修复Algorand区块链开发中的常见错误，包括智能合约逻辑错误、交易拒绝、SDK异常、账户余额不足、资产未选择加入等问题。提供详细的错误分类、快速诊断流程和解决方案，帮助开发者高效解决Algorand智能合约开发、DApp开发和区块链应用部署中的技术难题。关键词：Algorand错误排查，智能合约调试，交易失败修复，区块链开发问题解决，SDK异常处理。