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

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

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

Algorand TypeScript (PuyaTs) 智能合约开发技能，提供语法规则、类型系统、存储模式、交易处理等核心知识。关键词：Algorand, TypeScript, 智能合约, Puya编译器, AVM类型, BoxMap, GlobalState, clone(), 区块链开发, Web3, DApp

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

这个技能是一个全面的MultiversX智能合约代码分析工具包，涵盖差异审查（版本比较、升级安全性）、修复验证（验证补丁、回归测试）和变体分析（在代码库中查找类似漏洞）。适用于审查拉取请求、验证安全补丁或查找漏洞变体。关键词：MultiversX，智能合约，代码分析，安全审计，差异审查，修复验证，变体分析。

Foundry 是用于以太坊智能合约开发的快速、可移植、模块化工具链。本技能提供完整的 Foundry 工具链中文参考指南，涵盖 forge（构建、测试、部署）、cast（合约交互）、anvil（本地节点）和 chisel（REPL）的核心命令、测试模式（单元、模糊、分叉、不变性）、关键作弊码、部署脚本和实用操作。适用于 Solidity 开发者进行高效合约开发、测试和部署。关键词：Foundry, Solidity, 智能合约, 以太坊, 区块链开发, 测试, 部署, 工具链

这是一个用于将智能合约从旧版 TEALScript 或 Algorand TypeScript Beta 代码库迁移到新版 Algorand TypeScript 1.0 的指南工具。它提供了详细的迁移工作流、源语言识别方法、关键语法和类型变更对照表，帮助开发者高效完成合约升级。关键词：Algorand 智能合约迁移，TEALScript 升级，TypeScript 1.0，区块链开发，代码转换。

这个技能是TON漏洞扫描器，用于审计TON区块链上使用FunC编写的智能合约，检测整数作为布尔值误用、假冒Jetton合约和未检查gas的TON转发等关键漏洞，提高合约安全性。关键词：TON、智能合约、漏洞扫描、安全审计、FunC、Jetton、区块链安全。

本技能专注于使用财产测试和模糊测试技术来测试MultiversX智能合约，自动发现逻辑中的边缘案例和违反不变量情况，确保合约的鲁棒性和安全性。关键词：财产测试、模糊测试、智能合约测试、MultiversX、不变量验证、边缘案例发现。

本技能用于评估基于 MultiversX 区块链标准的代码库成熟度，包括文档质量、测试文化、代码卫生和依赖管理。关键词：代码成熟度评估、MultiversX 标准、文档测试、代码质量、智能合约审计。

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