智能合约 Skill技能列表

4.5

Mythril符号执行分析工具Skill mythril-symbolic

Mythril 符号执行技能是一个用于智能合约安全审计的自动化工具。它通过符号执行技术深度扫描以太坊虚拟机(EVM)字节码,自动检测重入攻击、整数溢出、无保护自毁等关键安全漏洞。该工具支持配置交易深度、超时设置,并能生成概念验证(PoC)利用代码,帮助开发者和安全工程师在部署前发现并修复合约漏洞。关键词:智能合约安全,符号执行,漏洞检测,Mythril,以太坊安全,重入攻击,整数溢出,安全审计,区块链安全,EVM字节码分析。

4.5

EVM字节码分析技能Skill evm-analysis

EVM字节码分析技能是专门用于智能合约安全审计、Gas优化和逆向工程的专家级工具。提供深度EVM字节码分析、操作码解析、存储布局识别、代理模式检测和字节码反编译能力。关键词:EVM字节码分析、智能合约安全审计、Gas优化、逆向工程、区块链安全、Solidity反编译、存储布局分析、代理合约验证、操作码分析、字节码验证。

4.5

MVX内存令牌分类账模式Skill mvx_vault_pattern

此技能涉及MultiversX区块链平台的内存令牌分类账模式,用于在智能合约中高效管理多步令牌操作的中间余额,避免不必要的存储写入,提升交易性能和原子性。关键词:MultiversX, 内存令牌分类账, 智能合约, 中间余额, 令牌管理, 区块链开发。

4.5

午夜工具:合约部署Skill midnight-tooling:contract-deployment

本技能用于在Midnight区块链网络上部署Compact智能合约。它涵盖了从编译合约、配置网络端点(索引器、证明器)、处理交易确认到部署验证和错误排查的完整流程。适用于开发者在测试网或主网进行合约部署,并支持CI/CD自动化脚本设置。关键词:Midnight区块链,Compact智能合约,合约部署,测试网,主网,网络配置,部署验证,CI/CD,ZK电路。

4.5

MultiversX陷阱识别Skill mvx_sharp_edges

这个技能用于识别MultiversX区块链平台中的常见陷阱和非显而易见问题,帮助开发者避免在智能合约开发中遇到的异步调用失败、Gas管理、存储优化、令牌精度、合约升级和区块信息使用等方面的错误。关键词:MultiversX, 智能合约, 陷阱, WASM, Gas, 异步调用, 区块链开发。

4.5

咨询MultiversX文档Skill consult_mvx_docs

这个技能提供访问MultiversX区块链官方文档的能力,帮助用户解决技术问题、验证实现细节、查找协议信息和最佳实践,适用于开发者、研究人员和生态用户。关键词:MultiversX文档,区块链开发,智能合约,ESDT,技术咨询,文档搜索。

4.5

代币安全分析器Skill token-security

此技能用于分析代币合约的安全性,检测蜜罐风险、地毯式风险、流动性锁等关键安全指标,帮助用户在交易前评估风险,避免投资欺诈代币。关键词:代币安全、智能合约安全、蜜罐检测、地毯式风险、流动性分析、区块链安全。

4.5

MultiversXSemgrep规则创建技能Skill mvx_semgrep_creator

这个技能用于指导用户编写自定义 Semgrep 规则,自动检测 MultiversX 区块链智能合约中的不安全模式,如算术溢出和支付检查缺失,以提升代码安全性和合规性。关键词包括 Semgrep, MultiversX, 智能合约安全, Rust 编程, 代码审计, 区块链开发。

4.5

克隆示例Skill compact-core:clone-examples

这是一个用于区块链智能合约开发的辅助技能。其主要功能是帮助开发者快速克隆和启动Compact合约示例项目,包括计数器、代币、NFT、去中心化交易所(DEX)等模板。该技能通过提供结构化的示例目录、浅克隆命令和兼容性检查,简化了基于Midnight和OpenZeppelin框架的合约开发环境搭建流程。关键词:智能合约开发,区块链入门,合约模板,Midnight,Compact合约,OpenZeppelin,DApp开发,示例克隆。

4.5

MultiversX智能合约项目架构设计技能Skill multiversx-project-architecture

此技能专注于 MultiversX 区块链智能合约的项目架构设计,提供生产级别的文件夹结构、模块组合模式和开发最佳实践。适用于开始新项目、重构现有合约或构建多合约系统,提高开发效率和代码可维护性。关键词:MultiversX, 智能合约, 项目架构, 区块链开发, 模块化设计, 智能合约开发, 生产级结构, 多合约系统。

4.5

智能合约安全分析技能Skill SmartContractAnalysisSkill

智能合约安全分析技能是专门用于检测和评估以太坊及区块链智能合约安全性的专业工具集。该技能集成了Slither、Mythril、Echidna等主流安全分析工具,能够自动化识别重入漏洞、整数溢出等常见安全风险,支持Solidity和Vyper语言,适用于DeFi项目审计、智能合约开发安全测试等场景。关键词:智能合约安全审计、区块链漏洞检测、DeFi安全分析、Solidity代码审查、EVM链安全测试

4.5

MultiversX代码分析工具包Skill multiversx-code-analysis

这个技能是一个全面的MultiversX智能合约代码分析工具包,涵盖差异审查(版本比较、升级安全性)、修复验证(验证补丁、回归测试)和变体分析(在代码库中查找类似漏洞)。适用于审查拉取请求、验证安全补丁或查找漏洞变体。关键词:MultiversX,智能合约,代码分析,安全审计,差异审查,修复验证,变体分析。