x402协议是一个基于HTTP 402状态码的支付协议，支持Algorand作为一级区块链与EVM和SVM同级集成，通过客户端、服务器和协调者三个组件协同工作实现HTTP原生支付，支持ASA和ALGO资产，具备快速最终性特点。

该技能专注于设计和构建去中心化金融（DeFi）交易系统，涵盖永续合约、自动做市商（AMM）、风险管理和MEV保护。适用于量化策略、算法交易、区块链开发和智能合约，帮助用户实现自动化交易、套利机会和投资组合优化。

流星DLMM交易助手是一个基于Solana区块链的动态流动性市场制造商（DLMM）命令行工具，专为去中心化金融（DeFi）交易设计。它支持代币交换、获取实时报价和列出DLMM池，帮助用户高效管理流动性并进行量化交易。关键词：Solana, DLMM, 动态流动性, 市场制造商, DeFi, 量化交易, 区块链。

该技能提供了使用 MultiversX Python SDK 进行智能合约开发的完整指南，包括 ABI 加载、合约部署、函数调用和状态查询等操作。适用于区块链开发者，关键词：智能合约、ABI、部署、调用、查询、MultiversX、Python SDK、区块链开发、智能合约编程。

本技能专注于使用 MultiversX 的 TypeScript/JavaScript SDK 进行智能合约开发，涵盖 ABI 加载、部署、调用、查询和解析等操作。适用于区块链开发者，关键词：智能合约，MultiversX，SDK，部署，调用，查询，ABI，区块链开发。

该技能用于在区块链审计中验证代码是否精确实现文档规范，比较代码与白皮书或设计文档，找出规范与实现之间的差距，进行合规检查。关键词：区块链审计、智能合约、合规检查、规范验证、白皮书。

Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。

代币经济学建模技能是一套用于加密货币和区块链协议经济系统设计、模拟与分析的完整工具集。它提供代币供应与分配建模、质押机制模拟、流动性挖矿激励设计、治理动态分析以及基于cadCAD的复杂经济系统仿真。该技能帮助项目方、开发者和分析师设计可持续的代币经济模型，评估不同参数下的经济表现，并预测潜在风险。关键词：代币经济学、区块链经济模型、DeFi模拟、质押机制、流动性挖矿、治理投票、cadCAD仿真、加密货币经济设计。

这是一个用于规范Midnight区块链网络示例去中心化应用（DApp）开发的技能。它定义了开发标准、代码质量要求、文档规范、Git工作流、强制评审流程和测试要求，确保所有示例项目符合高质量、教育性和一致性标准。关键词：Midnight， 区块链， DApp开发， 智能合约， TypeScript， 代码规范， 示例项目， 开发标准， 隐私计算。

本技能详细介绍了在Midnight区块链平台中实现隐私保护的四种核心模式：哈希、承诺、默克尔树和承诺+无效符组合。内容涵盖隐私模式选择指南、具体实现代码示例、常见错误及解决方案，适用于区块链开发者、隐私保护工程师、智能合约开发者、密码学应用开发者、Web3开发者和零知识证明实现者。关键词包括：区块链隐私、Midnight开发、隐私模式、哈希承诺、默克尔树、无效符、零知识证明、智能合约隐私、链上数据保护、隐私保护技术。

这是一个用于在 Opinion.trade 预测市场进行链上交易和数据分析的技能。它允许用户通过命令行接口搜索市场、获取实时价格、查看订单簿、下达买卖订单以及管理账户。该技能集成了 BNB 链上的去中心化中央限价订单簿 (CLOB)，支持对政治、加密货币、体育等各类事件的未来结果进行投机或对冲。关键词：预测市场，区块链交易，BNB链，链上订单簿，量化交易，DeFi，智能合约，市场数据，API集成。

此技能专注于NFT市场操作，包括集成OpenSea、追踪地板价、浏览收藏品和购买NFT。通过自然语言提示，实现与NFT市场的交互，支持多种区块链如Ethereum和Polygon。关键词：NFT, OpenSea, 地板价, 收藏品, 购买, 自然语言, 区块链, Web3, DApp。