这个技能是基于Trail of Bits最佳实践的智能合约开发顾问工具，用于系统分析代码库、生成文档和规范、审查架构和升级模式、评估实现质量、识别常见陷阱、检查依赖关系并提供测试改进建议。旨在提高智能合约的安全性和开发质量，适用于区块链开发者和安全审计师。关键词：智能合约、安全开发、代码审计、区块链安全、Trail of Bits、最佳实践、开发指南。

这个技能用于验证MultiversX智能合约实现是否匹配其设计规范、白皮书和MIP标准。它涉及提取要求、映射代码、验证逻辑和记录发现，适用于审计、tokenomics实现验证和MIP合规性检查。关键词：智能合约审计、规范验证、MultiversX、MIP标准、代码审查。

MultiversX智能合约开发技能涉及使用Rust语言、sc-meta和mxpy工具构建、测试和部署区块链智能合约，适用于代币创建、NFT铸造、质押、众筹等链上功能开发。关键词：智能合约、MultiversX、Rust、区块链开发、代币、NFT、DeFi、区块链编程、智能合约部署。

Solidity智能合约开发技能专注于以太坊区块链上的安全、高效智能合约编写。该技能涵盖ERC标准代币开发、Gas优化技术、安全模式实现、可升级合约设计等核心领域，适用于DeFi、NFT、DApp等Web3应用开发。关键词：Solidity开发、智能合约、区块链开发、以太坊、ERC标准、Gas优化、安全审计、DeFi、NFT、Web3开发。

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

本技能指南专注于使用 Algorand TypeScript (PuyaTs) 或 Algorand Python (PuyaPy) 在 Algorand 区块链上开发智能合约。它提供了从概念理解、最佳实践搜索、规范代码示例检索、代码生成适配到集成测试和构建部署的完整工作流。适用于开发者创建投票、NFT、DeFi 等各类去中心化应用（DApp）的底层合约逻辑，是进入 Algorand 智能合约开发的核心指引。关键词：Algorand 智能合约开发，PuyaTs，PuyaPy，TEAL 编译，区块链编程，DApp 合约编写，ARC-4 标准，状态管理，内部交易。

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

这个技能用于基于 Trail of Bits 方法论，对 Solidity 智能合约进行深度安全分析，包括漏洞发现、严重性评级和不变性测试建议，适用于合约审查、安全审计和部署前的准备。关键词：Solidity, 智能合约, 安全审查, Trail of Bits, 漏洞挖掘, 安全审计。

该技能利用人工智能分析TRON区块链交易错误，提供根因、可能原因和解决方案的简洁解释，帮助用户快速理解和解决智能合约执行、账户激活等区块链交易问题。关键词：TRON、区块链、错误分析、智能合约、交易失败、AI解释。

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

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

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