智能合约 Skill技能列表

ERC-8004技能Skill doppel-erc-8004

4.5

本技能指导用户如何在Base主网上使用ERC-8004协议为自己的AI代理设置钱包、充值、注册链上身份,并将身份信息报告回Doppel中心以获得声誉和代币分配。

MultiversX属性测试Skill mvx_property_testing

4.5

本技能专注于使用属性测试(如模糊测试)在MultiversX区块链平台上验证智能合约的逻辑正确性,通过定义和测试不变量来发现潜在的错误和边缘情况。关键词:属性测试、模糊测试、智能合约、Rust、MultiversX、不变量、区块链测试、自动化测试。

MultiversX陷阱识别Skill mvx_sharp_edges

4.5

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

紧凑型合约关键问题审查Skill compact-reviewer:critical-issues

4.5

这是一个用于智能合约代码审查的专用技能,专注于检测紧凑型智能合约中的关键缺陷。它能自动识别逻辑错误、断言问题、类型不匹配、死代码、不可达路径和控制流问题,确保合约的正确性和安全性。适用于区块链开发者、智能合约审计员和安全工程师。关键词:智能合约审计,代码审查,逻辑错误检测,区块链安全,Compact语言,断言分析,控制流分析,类型检查。

紧凑型代码审查最佳实践Skill compact-reviewer:best-practices

4.5

本技能提供Midnight区块链上Compact智能合约开发的代码审查指导。它专注于识别和推广惯用的编程模式、推荐的最佳实践,并指出开发过程中应避免的常见错误。关键词:智能合约开发,Compact语言,最佳实践,代码审查,Midnight区块链,编程模式,常见错误。

区块链开发者Skill blockchain-developer

4.5

区块链开发者是专注于Web3领域的专业技术角色,核心职责是使用Solidity或Rust等语言编写、部署和审计智能合约,构建去中心化应用(dApp)的底层架构。他们精通以太坊虚拟机(EVM)、Layer 2扩展方案(如Arbitrum、Optimism)以及DeFi、NFT等协议开发,致力于优化Gas消耗、保障合约安全,并实现与前端钱包(如MetaMask)的顺畅集成。关键词:智能合约开发,Solidity,Web3,dApp,DeFi,NFT,以太坊,区块链安全,Gas优化。

CloddsAgentIntegrationGuideSkill public

4.5

Clodds API集成指南,提供计算资源、市场数据、交易执行等API服务,支持USDC支付,适用于区块链、量化金融领域。

咨询MultiversX文档Skill consult_mvx_docs

4.5

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

CantonNetwork开源仓库指南Skill canton-network-repos

4.5

本技能提供Canton Network开源生态系统的全面指南,涵盖DAML SDK、Canton运行时和Splice应用程序的版本管理、构建流程和故障排除。适用于区块链开发者、智能合约工程师和去中心化应用构建者,帮助解决版本兼容性、包ID不匹配和LF版本升级等问题。关键词:Canton Network, DAML智能合约, 区块链开发, 去中心化应用, LF版本, 包ID, 版本兼容性, 开源构建, Splice应用程序, 分布式账本。

交易代理-任意交易Skill BankrAgent-ArbitraryTransactions

4.5

此技能用于提交原始EVM交易,支持多种区块链如Ethereum、Polygon、Base和Unichain。用户可以通过JSON格式指定交易参数,包括目标地址、calldata、交易值和链ID,适用于智能合约调用、代币转账等场景。关键词:EVM交易、区块链、智能合约、交易提交、JSON格式。

Compact合约测试与调试Skill compact-core:testing-debugging

4.5

本技能提供关于Compact智能合约的测试与调试的全面指南。核心内容包括:常见错误(如潜在见证值泄露、电路约束失败)的快速诊断与修复,调试决策树,单元测试、见证模拟、状态验证等测试方法,以及常见陷阱的规避方案。适用于区块链开发者、智能合约工程师进行合约开发、错误排查、测试框架搭建和单元测试模拟。关键词:Compact合约,智能合约测试,电路调试,见证值泄露,约束失败,单元测试,TypeScript测试框架,区块链开发。

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

4.5

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