零知识证明验证技能专注于在区块链交易提交前，在服务器端对ZK-SNARKs或ZK-STARKs等零知识证明进行密码学验证。该技能用于构建验证网关、实现批量验证、优化交易成功率，并确保来自不受信任客户端的证明有效性。关键词：零知识证明、ZK验证、区块链安全、密码学验证、交易预验证、批量验证、证明网关、Gas优化。

这是一个用于区块链MEV（矿工可提取价值）基础设施的性能监控工具。它提供细粒度的延迟追踪功能，能够对单次调用和聚合操作进行计时，帮助开发者实施性能监控、调试慢速操作、设置告警阈值。关键词：MEV延迟追踪，区块链性能监控，量化交易系统监控，高频交易延迟分析，DevOps可观测性。

Yoink是一个基于Base区块链的捕获旗帜游戏，玩家通过智能合约交互抢夺旗帜、积累持有时间并竞争奖杯。关键词：区块链游戏、Base链、智能合约、捕获旗帜、Web3、去中心化应用。

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

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

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

这个技能专注于Solidity智能合约的安全最佳实践，包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞，并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施，支持DeFi、Web3等区块链应用。关键词：Solidity，智能合约，安全，漏洞预防，DeFi，区块链，重入防护，燃气优化。

这个技能提供了部署以太坊去中心化应用（DApp）前端的全面指南，包括使用分支模式、IPFS部署、Vercel配置、ENS设置等完整生产流程，帮助开发者高效地将DApp推向生产环境。关键词：以太坊、DApp、前端部署、IPFS、ENS、区块链开发、智能合约、Web3。

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

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

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

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