Drift永续合约交易SDK是一个用于在Solana区块链上的Drift Protocol去中心化交易所进行永续期货和现货交易的直接软件开发工具包。它提供了一套完整的命令行接口，支持开仓平仓、杠杆设置、订单管理、账户查询和风险监控等功能，无需依赖网关服务器，实现高效、安全的算法交易和量化策略执行。关键词：Drift Protocol, Solana, 永续合约, 期货交易, 去中心化交易所, SDK, 量化交易, 杠杆交易, 区块链金融, DeFi。

这个技能用于评估和优化以太坊网络上的交易成本，包括Gas价格估算、主网与Layer 2解决方案的成本比较、费用设置策略以及成本分析。关键词：以太坊、Gas、交易成本、L2、费用优化、区块链交易、成本估算。

本工具是一个Solana区块链协议改进文档（SIMD）的查询与参考指南。它提供了SIMD的快速查找方法、状态生命周期说明以及Solana核心概念（如账户模型、租金、PDA、CPI）的详解。适用于区块链开发者、研究员和任何需要深入了解Solana底层协议变更、技术提案和生态概念的用户。关键词：Solana, SIMD, 区块链开发, 协议改进, 账户模型, PDA, CPI, 技术文档。

Molty支付工具是一个命令行加密货币支付解决方案，支持通过A2A协议向Molty用户发送USDC稳定币。该工具兼容Base和Solana区块链网络，提供便捷的加密货币转账、打赏和支付功能。关键词：加密货币支付、USDC转账、区块链支付、命令行工具、Base网络、Solana网络、A2A协议、数字钱包

本技能用于管理和检查Midnight区块链开发框架中各组件的版本兼容性。它提供了详细的版本关系图、编译器与运行时匹配指南、包版本管理最佳实践以及版本升级工作流。关键词包括：Midnight版本兼容性、Compact编译器、pragma语言版本、ZK电路、区块链开发、版本管理、npm ci、破坏性变更、证明服务器、组件依赖。

Cryptofeed是一个强大的Python库，专门用于实时获取和标准化处理来自40多家加密货币交易所的市场数据。它支持WebSocket流式传输、订单簿深度、交易记录、行情报价等多种数据通道，并提供NBBO聚合、多后端存储集成等功能。该工具是构建算法交易系统、量化策略回测、市场监控和数据分析平台的核心组件，适用于量化金融、区块链开发和金融科技领域。关键词：加密货币数据，实时行情，WebSocket，算法交易，量化金融，Python库，交易所API，市场数据标准化，NBBO聚合，区块链开发。

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

Bankr是一个基于人工智能的加密货币交易和DeFi操作平台，允许用户通过自然语言命令执行交易、管理投资组合、进行市场研究、转账、NFT交易、杠杆交易和自动化操作。它支持多种区块链网络，如Base、Polygon、Ethereum等，并提供量化交易功能，适合量化金融、区块链开发和AI应用领域。关键词包括：AI、加密货币、交易、DeFi、自然语言、区块链、量化金融、自动化交易。

此技能专为构建高效支付系统和实现代币转移而设计，支持多种接收者格式，如钱包地址、ENS名称和社交手柄（包括Twitter、Farcaster、Telegram），适用于区块链开发、Web3应用和金融科技领域。关键词包括支付系统、代币转移、ENS解析、社交手柄、区块链开发、Web3、DApp。

这个技能用于在MultiversX区块链平台上分析WASM二进制文件，提供调试功能，包括代码大小分析、panic问题检测和DWARF调试符号支持，帮助开发者优化智能合约性能。关键词：WASM, 调试, MultiversX, 智能合约, DWARF, 二进制分析。

这个技能用于提供对 MultiversX 区块链代码库的静态分析指南，专注于 Rust 和 Go 语言中常见漏洞的模式识别，如不安全代码使用、未验证的 unwrap 和浮点算术。通过自动化工具和手动审查，帮助开发者识别和修复潜在问题，提升代码安全性和质量。关键词包括：静态分析、Rust、Go、MultiversX、智能合约、安全漏洞、代码审计、区块链安全。

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