智能合约 Skill技能列表

VerifySkill verify

4.5

使用ERC-8004链上注册表验证代理身份,防止冒充攻击,增强交易安全。

TrailofBits智能合约安全审查技能Skill claude-tob-review

4.5

这个技能用于基于 Trail of Bits 方法论,对 Solidity 智能合约进行深度安全分析,包括漏洞发现、严重性评级和不变性测试建议,适用于合约审查、安全审计和部署前的准备。关键词:Solidity, 智能合约, 安全审查, Trail of Bits, 漏洞挖掘, 安全审计。

MultiversX规范合规性验证Skill multiversx-spec-compliance

4.5

这个技能用于验证MultiversX智能合约实现是否匹配其设计规范、白皮书和MIP标准。它涉及提取要求、映射代码、验证逻辑和记录发现,适用于审计、tokenomics实现验证和MIP合规性检查。关键词:智能合约审计、规范验证、MultiversX、MIP标准、代码审查。

智能合约差异审查Skill diff_review

4.5

该技能用于分析智能合约代码版本之间的差异,重点关注升级时的安全检查和存储布局变化,确保升级过程的安全性和数据一致性。关键词:智能合约、差异分析、安全审查、存储布局、升级检查。

紧凑型代码可维护性审查Skill compact-reviewer:maintainability

4.5

本技能用于评估代码(特别是智能合约)的长期可维护性,识别潜在的技术债务,并提供模块化设计、重构和升级策略的指导。关键词:代码可维护性、技术债务、模块化设计、重构指南、升级策略、智能合约审查、未来验证。

代币集成分析Skill token-integration-analyzer

4.5

这个技能用于分析区块链代币的集成和实现,基于 Trail of Bits 的代币集成清单。它检查 ERC20/ERC721 合规性、评估代币模式、进行安全审计,并提供风险评估报告。关键词:代币集成、ERC20、ERC721、智能合约安全、安全审计、区块链分析、代币模式、链上分析。

ERC-8004AI代理身份注册Skill erc8004

4.5

该技能用于通过ERC-8004标准在以太坊区块链上实现AI代理的无信任身份注册和管理,提供链上可验证的身份、声誉和验证系统。关键词:AI代理、以太坊、身份注册、智能合约、区块链、ERC-8004、无信任代理。

Algorand漏洞扫描器Skill algorand-vulnerability-scanner

4.5

这是一个用于扫描Algorand区块链智能合约安全漏洞的工具,专注于检测11种常见漏洞,如重密钥攻击、未检查交易费用等,适用于安全审计和开发评估。关键词:Algorand、智能合约、安全扫描、漏洞检测、区块链审计。

代币部署技能Skill BankrDev-TokenDeployment

4.5

本技能提供通过自然语言提示部署和管理区块链代币的功能,包括ERC20代币部署、Clanker平台费用检查和声明、代币元数据更新等。适用于构建代币启动工具、集成Clanker和Web3开发,关键词:代币部署、ERC20、Clanker、区块链、智能合约、Web3、DeFi、费用管理、元数据更新。

测试智能合约Skill test-smart-contracts

4.5

这个技能用于编写和执行Algorand智能合约的集成测试,包括设置测试环境、部署合约、调试测试问题以及模拟多用户交互场景。