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

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

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

Midnight DApp交易流程技能专注于在Midnight区块链上实现完整的交易生命周期管理，包括构建交易、生成零知识证明、提交交易和跟踪确认状态。该技能涵盖ZK证明生成期间的UI响应式设计、交易重试逻辑实现、状态机管理以及性能优化策略，特别适用于需要隐私保护的DApp开发。关键词：Midnight区块链、ZK证明、DApp开发、交易流程、状态跟踪、重试逻辑、零知识证明、隐私交易、Web3开发、智能合约交互。

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

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

创建支持Algorand自动支付的x402 HTTP客户端，适用于构建消费x402保护API的应用程序，实现自动支付处理、签名交易、配置支付策略等功能。

本指南提供了如何使用 Express.js 和 Hono 创建基于 Algorand 支付保护的服务器端 API。关键词包括：支付保护、x402、中间件、多网络支持、支付墙 UI、促进者服务器、动态定价。

这个技能是一个全面的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，区块链开发，代码转换。

创建使用 FastAPI 或 Flask 构建的 x402 支付保护服务器，用于 Algorand USDC 支付保护 API 端点。关键词：FastAPI, Flask, x402, Algorand, USDC, API 保护。