智能合约 Skill技能列表
MultiversX智能合约开发陷阱与解决方案Skill multiversx-sharp-edges
这个技能是一个针对 MultiversX 区块链平台的开发指南,详细列出了常见的非明显行为、陷阱和平台特定问题及其解决方案,帮助开发者在编写智能合约和 dApps 时避免错误。关键词包括 MultiversX, 智能合约, 陷阱, 开发指南, 区块链开发, 调试技巧, 异步回调, gas 限制, 存储映射。
智能合约安全审计工作流Skill secure-workflow-guide
这个技能用于实施Trail of Bits的5步安全开发工作流,自动化检测和修复智能合约中的安全问题。它包括Slither扫描漏洞、检查可升级性和ERC合规性、生成可视化安全图、文档化安全属性以进行模糊测试和验证,以及手动审查隐私、前运行、密码学和DeFi风险。适用于区块链开发人员、安全审计师和智能合约团队,提升代码安全性和合规性。关键词:智能合约安全,Slither扫描,Echidna模糊测试,安全审计,区块链开发,DeFi安全,ERC合规,可视化安全图。
区块链研究专家Skill research-blockchain
区块链研究专家是一个专注于使用Zai MCP对EVM链、永久性去中心化交易所架构、中心化交易所集成和DeFi-TradFi桥接进行综合分析的专业研究代理。关键词包括:区块链研究、协议比较、技术可行性、安全审计、合规性分析。
MultiversX陷阱识别Skill mvx_sharp_edges
这个技能用于识别MultiversX区块链平台中的常见陷阱和非显而易见问题,帮助开发者避免在智能合约开发中遇到的异步调用失败、Gas管理、存储优化、令牌精度、合约升级和区块信息使用等方面的错误。关键词:MultiversX, 智能合约, 陷阱, WASM, Gas, 异步调用, 区块链开发。
MultiversX属性测试Skill mvx_property_testing
本技能专注于使用属性测试(如模糊测试)在MultiversX区块链平台上验证智能合约的逻辑正确性,通过定义和测试不变量来发现潜在的错误和边缘情况。关键词:属性测试、模糊测试、智能合约、Rust、MultiversX、不变量、区块链测试、自动化测试。
隐私与披露Skill compact-core:privacy-disclosure
该技能是关于在Midnight区块链平台上开发隐私保护智能合约的核心指南。它详细说明了如何安全地处理源自私有见证的数据,防止信息泄露。主要内容包括:披露规则(何时必须使用`disclose()`函数)、安全与不安全操作(如`persistentCommit`与`persistentHash`的区别)、以及实现隐私的常见模式(如承诺-揭示模式、作废符模式)。适用于解决编译器隐私错误、设计零知识证明电路和构建保护用户数据的去中心化应用。关键词:隐私保护,智能合约,零知识证明,见证值,披露规则,承诺模式,Midnight,区块链安全。
紧凑型合约关键问题审查Skill compact-reviewer:critical-issues
这是一个用于智能合约代码审查的专用技能,专注于检测紧凑型智能合约中的关键缺陷。它能自动识别逻辑错误、断言问题、类型不匹配、死代码、不可达路径和控制流问题,确保合约的正确性和安全性。适用于区块链开发者、智能合约审计员和安全工程师。关键词:智能合约审计,代码审查,逻辑错误检测,区块链安全,Compact语言,断言分析,控制流分析,类型检查。
午夜工具:合约部署Skill midnight-tooling:contract-deployment
本技能用于在Midnight区块链网络上部署Compact智能合约。它涵盖了从编译合约、配置网络端点(索引器、证明器)、处理交易确认到部署验证和错误排查的完整流程。适用于开发者在测试网或主网进行合约部署,并支持CI/CD自动化脚本设置。关键词:Midnight区块链,Compact智能合约,合约部署,测试网,主网,网络配置,部署验证,CI/CD,ZK电路。
错误分析Skill error-analysis
该技能利用人工智能分析TRON区块链交易错误,提供根因、可能原因和解决方案的简洁解释,帮助用户快速理解和解决智能合约执行、账户激活等区块链交易问题。关键词:TRON、区块链、错误分析、智能合约、交易失败、AI解释。
MultiversXSemgrep规则创建技能Skill mvx_semgrep_creator
这个技能用于指导用户编写自定义 Semgrep 规则,自动检测 MultiversX 区块链智能合约中的不安全模式,如算术溢出和支付检查缺失,以提升代码安全性和合规性。关键词包括 Semgrep, MultiversX, 智能合约安全, Rust 编程, 代码审计, 区块链开发。
MultiversX澄清专家Skill multiversx-clarification-expert
MultiversX澄清专家技能:专为MultiversX区块链开发设计,用于识别用户请求中的模糊需求,通过提出具体澄清问题来防止开发错误和资源浪费,提升开发效率和安全性。关键词:MultiversX、区块链开发、需求澄清、智能合约、安全审计、开发工具。
Web3智能合约测试Skill web3-testing
这个技能专注于使用Hardhat和Foundry工具对Web3智能合约进行全面的测试,包括单元测试、集成测试、气体优化、模糊测试和主网分叉测试。适用于Solidity合约开发、区块链应用测试和DeFi协议验证,关键词包括Web3、智能合约测试、Hardhat、Foundry、单元测试、集成测试、气体优化、模糊测试、主网分叉、Solidity、DeFi、Etherscan验证。