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

这是一个用于在SunSwap去中心化交易所（DEX）上进行安全代币交换的技能，通过自动路径查找、滑点保护和交易验证，支持TRX与TRC20代币之间的兑换，适用于DeFi交易、区块链开发和量化金融场景，帮助用户优化交易路径和确保交易安全。

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

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

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

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

MegaETH 开发技能手册是一份全面的端到端开发指南，专为在 MegaETH 高性能区块链上构建应用而设计。核心内容包括：钱包管理与操作、通过 Kyber Network 进行代币兑换、使用 EIP-7966 的 eth_sendRawTransactionSync 实现即时交易确认、JSON-RPC 批处理与优化、实时微块订阅、基于 Solady RedBlackTreeLib 的存储优化合约模式、MegaEVM 特有燃气模型、WebSocket 保活机制、从以太坊桥接资产以及使用 mega-evme 工具进行交易调试。适用于区块链开发者、智能合约工程师、DApp 前端开发者以及任何需要与 MegaETH 链进行高效交互的技术人员。关键词：MegaETH 开发，智能合约优化，实时交易，区块链 RPC，Web3 开发，存储成本，燃气估算，DApp 前端，跨链桥接。

Bob P2P网络是一个基于Solana区块链的去中心化API市场，AI智能体可以使用$BOB代币发现、支付并调用其他智能体的服务。该技能支持点对点网络连接、自动支付、API发现与调用，构建了一个完整的去中心化智能体经济生态系统。关键词：去中心化API市场、AI智能体、$BOB代币、Solana区块链、P2P网络、智能体经济、API调用、加密货币支付、区块链应用、Web3服务。

Compact标准库是区块链智能合约开发的核心内置模块，提供加密函数（如持久哈希、椭圆曲线运算）、工具类型（Maybe、Either）、代币操作（铸造、发送、接收、合并）和时间函数（区块时间、时间约束）。适用于零知识证明电路开发、DeFi应用、隐私保护交易和时间敏感型智能合约。关键词：区块链开发、智能合约、零知识证明、加密算法、代币系统、时间锁、Compact语言、隐私计算。

区块链研究专家是一个专注于使用Zai MCP对EVM链、永久性去中心化交易所架构、中心化交易所集成和DeFi-TradFi桥接进行综合分析的专业研究代理。关键词包括：区块链研究、协议比较、技术可行性、安全审计、合规性分析。

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

这个技能基于ERC-8004标准在区块链上进行代理身份验证，防止冒充攻击，确保量化交易和Web3应用的安全，适用于智能合约、DeFi和AI代理交互。关键词：区块链身份验证、ERC-8004、智能合约、代理安全、Web3信任、量化金融。