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

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

Hardhat框架技能是用于以太坊智能合约开发、测试和部署的专业工具集。它提供完整的开发环境，包括合约编译、本地网络部署、自动化测试、Gas费用分析、合约验证等功能。关键词：以太坊开发、智能合约、区块链开发、Solidity、Web3、DApp开发、合约测试、部署管理、TypeChain、网络分叉。

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

链上信使是一个基于Base区块链的智能体消息层工具，支持用户发布动态、发送私信、探索其他智能体。所有消息永久存储在链上，确保可访问性和不可篡改性。关键词：区块链消息、Base链、智能体通信、链上动态、Web3社交、去中心化消息、链上收件箱、智能体交互。

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

Slither智能合约安全分析技能是一个与Slither静态分析框架深度集成的专业工具，专门用于Solidity智能合约的自动化安全审计、漏洞检测和代码质量评估。该技能支持运行所有内置安全检测器（如重入攻击、未初始化存储、任意转账等），提供自定义配置、可视化分析（调用图、继承图）、误报过滤和多种格式报告输出（JSON、Markdown、SARIF）。适用于智能合约开发、安全审计、CI/CD集成和区块链安全研究，帮助开发者识别和修复智能合约中的安全漏洞和代码缺陷。 关键词：Slither分析，智能合约安全，Solidity漏洞检测，区块链安全审计，静态代码分析，重入攻击检测，DeFi安全，智能合约开发工具，安全自动化，代码质量检查

此技能用于调试Hyperlane跨链消息的处理问题，通过提供消息ID或探索器URL，帮助用户分析消息状态、识别Gas估计错误、验证器问题等，以确保消息顺利交付。关键词：Hyperlane、消息调试、跨链通信、区块链、Gas估计、交付状态、智能合约、节点运维。

代码成熟度评估器是一个系统性工具，用于基于Trail of Bits的9类别框架分析代码库的成熟度，覆盖算术安全、审计实践、访问控制、复杂性、去中心化、文档、MEV风险、低级代码和测试。它生成专业评分卡和可操作建议，适用于智能合约、区块链项目和一般软件的安全评估与优化。关键词：代码成熟度评估、安全审计、Trail of Bits、智能合约安全、测试覆盖率、文档评估、量化金融安全、区块链审计。

这个技能用于通过JungleBus服务实时流式传输和订阅BSV区块链数据，支持监控交易、地址和多种协议如1Sat Ordinals、BAP、MAP等，适用于构建索引器、通知系统和实时数据分析应用。关键词：JungleBus, BSV, 区块链, 实时数据流, 订阅, 协议索引, GorillaPool。

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

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