这是一个用于Midnight区块链项目的CI/CD自动化配置技能，专门针对智能合约开发和DApp测试。该技能提供GitHub Actions工作流模板，实现合约编译自动化、TypeScript测试执行、版本一致性验证和集成测试。关键词包括：Midnight区块链、智能合约CI/CD、Compact编译器、GitHub Actions自动化、DApp测试、证明服务器集成、版本控制、持续集成部署。

Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。

这是一个用于查询Base区块链上Aavegotchi NFT数据的工具。它能通过ID或名称快速获取Aavegotchi的详细特征（如稀有度分数、亲密度、经验值、能量、攻击性等）、已装备的穿戴品、幽灵编号、等级和年龄等信息。支持链上查询和子图集成，适用于NFT数据分析、稀有度评估和链上资产监控。关键词：Aavegotchi, NFT查询, Base链, 区块链数据, 特征分析, 稀有度分数, 穿戴品, 智能合约, Web3工具

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

Farcaster社交协议集成工具，通过Neynar API实现去中心化社交功能，支持用户资料查询、动态流获取、推文搜索、频道管理、内容发布、点赞转发等完整社交操作。关键词：Farcaster, Web3社交, 去中心化社交, Neynar API, 区块链社交, 社交协议, 加密社交

该技能用于帮助用户通过区块链网络安全高效地转移数字资产，支持多种收款人格式如地址、ENS和社交手柄，并提供跨链转账功能。关键词：区块链转账、ENS解析、跨链转移、加密货币、数字资产、安全转账。

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

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

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

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

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

这个技能用于通过 Rube MCP 和 Composio 工具包自动化 Open Sea（NFT 市场）的任务，包括工具发现、连接管理和操作执行，适用于区块链和 NFT 领域的自动化工作流，关键词包括 Open Sea、自动化、Rube MCP、Composio、NFT、区块链。