智能合约 Skill技能列表
多链静态分析技能Skill mvx_static_analysis
这个技能用于提供对 MultiversX 区块链代码库的静态分析指南，专注于 Rust 和 Go 语言中常见漏洞的模式识别，如不安全代码使用、未验证的 unwrap 和浮点算术。通过自动化工具和手动审查，帮助开发者识别和修复潜在问题，提升代码安全性和质量。关键词包括：静态分析、Rust、Go、MultiversX、智能合约、安全漏洞、代码审计、区块链安全。
规范到代码合规性检查器Skill spec-to-code-compliance
该技能用于区块链审计，通过对比规范文档（如白皮书）与实际代码，检查代码是否严格符合规范要求。适用于智能合约审计、协议实现合规性检查，旨在发现规范与实现之间的差异，确保安全性和正确性。关键词：区块链审计、智能合约、规范检查、代码合规性、安全审计。
刺猬智能合约模糊测试技能Skill echidna-fuzzer
Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。
Compact合约安全审查Skill compact-reviewer:security-review
这是一个用于Midnight网络上Compact智能合约的全面安全分析技能。它专注于检测安全漏洞、隐私泄露、披露违规、访问控制问题以及零知识证明（ZK）特定攻击向量。关键词：智能合约安全，零知识证明，隐私保护，区块链审计，访问控制，漏洞检测，ZK攻击向量，Compact语言。
Compact标准库Skill compact-core:standard-library
Compact标准库是区块链智能合约开发的核心内置模块，提供加密函数（如持久哈希、椭圆曲线运算）、工具类型（Maybe、Either）、代币操作（铸造、发送、接收、合并）和时间函数（区块时间、时间约束）。适用于零知识证明电路开发、DeFi应用、隐私保护交易和时间敏感型智能合约。关键词：区块链开发、智能合约、零知识证明、加密算法、代币系统、时间锁、Compact语言、隐私计算。
以太坊智能合约激励设计Skill concepts
本技能专注于以太坊智能合约的设计与开发，核心是激励模型和去中心化系统的构建。它教授如何设计状态机、设置自维持激励、避免常见设计错误，并应用于DeFi、NFT、DApp等领域。关键词包括以太坊、智能合约、激励设计、去中心化应用、状态机、Hyperstructure、链上开发、区块链技术。
MultiversX跨合约存储读取Skill mvx_cross_contract_storage
该技能用于在MultiversX区块链上直接读取同一分片智能合约的存储，无需代理调用，减少气体开销和异步复杂性。适用于智能合约开发、区块链应用优化和性能提升。关键词：MultiversX, 跨合约, 存储读取, 智能合约, 区块链开发, 气体优化。
ERC-8004代理身份注册器Skill erc8004
ERC-8004代理身份注册器是一个基于以太坊区块链的工具，用于为AI智能体创建和管理可验证的链上身份。该技能允许用户通过命令行界面注册、查询和更新AI代理的NFT身份，并查看其声誉评分。核心功能包括代理身份铸造、元数据管理、声誉系统集成和跨链兼容性。适用于AI智能体开发者、区块链开发者和Web3项目团队，实现去中心化的AI代理身份认证与信任体系。关键词：ERC-8004，AI代理，以太坊身份，链上声誉，智能合约，Web3，去中心化AI，NFT身份，区块链认证，信任机制。
ERCData链上数据管理工具Skill ercdata
ERCData是一个基于以太坊Base网络的区块链数据存储与验证工具，专为AI智能体设计。它支持在链上存储AI相关数据指纹，提供数据完整性验证、访问控制管理和防篡改审计追踪功能。核心功能包括公共/私有数据存储、EIP-712签名验证、快照创建和批量操作。适用于AI智能体内存证明、模型溯源、可验证输出和跨智能体信任建立等场景。
MultiversX支付处理Skill multiversx-payment-handling
这个技能用于在 MultiversX 区块链智能合约中处理和验证支付，包括接收、验证和路由 EGLD 及 ESDT 代币的支付。它涵盖了单笔、多笔、可选和混合支付模式，适用于智能合约开发中的支付端点实现。关键词：MultiversX, 智能合约, 支付处理, EGLD, ESDT, 区块链开发, 代币验证, 支付路由。
紧凑核心：合约模式Skill compact-core:contract-patterns
本技能是Midnight区块链开发的智能合约模式库，提供一系列可重用的Compact合约模板和设计模式。涵盖投票系统、代币托管、访问控制、拍卖、注册表等常见场景，包含简单构建块和深度系统实现，旨在帮助开发者快速构建安全、隐私的区块链应用。关键词：Midnight区块链，Compact合约，智能合约模式，隐私投票，代币托管，访问控制，可重用模板，区块链开发。
Rust与Anchor开发模式指南Skill rust-patterns
这是一份关于Rust编程语言和Anchor框架在Solana区块链上开发智能合约的实用模式指南。内容涵盖账户验证、PDA（程序派生地址）推导、跨程序调用（CPI）安全以及通用Rust最佳实践。适用于智能合约开发者、区块链工程师和安全审计人员，旨在提升代码安全性、可读性和性能。关键词：Rust, Anchor, Solana, 智能合约, 区块链开发, PDA, CPI, 账户安全, 最佳实践。