智能合约 Skill技能列表

撤销令牌批准技能Skill revoke-approval

4.5

此技能用于撤销TRON区块链上TRC20令牌的高风险批准,通过调用智能合约设置批准量为零,以保护用户钱包免受恶意合约攻击,提升资产安全。关键词:区块链安全、撤销令牌批准、TRON钱包保护、智能合约操作、DeFi风险控制、令牌批准审计。

Slither智能合约安全分析Skill slither-analysis

4.5

Slither智能合约安全分析技能是一个与Slither静态分析框架深度集成的专业工具,专门用于Solidity智能合约的自动化安全审计、漏洞检测和代码质量评估。该技能支持运行所有内置安全检测器(如重入攻击、未初始化存储、任意转账等),提供自定义配置、可视化分析(调用图、继承图)、误报过滤和多种格式报告输出(JSON、Markdown、SARIF)。适用于智能合约开发、安全审计、CI/CD集成和区块链安全研究,帮助开发者识别和修复智能合约中的安全漏洞和代码缺陷。 关键词:Slither分析,智能合约安全,Solidity漏洞检测,区块链安全审计,静态代码分析,重入攻击检测,DeFi安全,智能合约开发工具,安全自动化,代码质量检查

Compact标准库Skill compact-core:standard-library

4.5

Compact标准库是区块链智能合约开发的核心内置模块,提供加密函数(如持久哈希、椭圆曲线运算)、工具类型(Maybe、Either)、代币操作(铸造、发送、接收、合并)和时间函数(区块时间、时间约束)。适用于零知识证明电路开发、DeFi应用、隐私保护交易和时间敏感型智能合约。关键词:区块链开发、智能合约、零知识证明、加密算法、代币系统、时间锁、Compact语言、隐私计算。

MultiversXSDK-JS智能合约操作Skill mvx_sdk_js_contracts

4.5

本技能专注于使用 MultiversX 的 TypeScript/JavaScript SDK 进行智能合约开发,涵盖 ABI 加载、部署、调用、查询和解析等操作。适用于区块链开发者,关键词:智能合约,MultiversX,SDK,部署,调用,查询,ABI,区块链开发。

Foundry智能合约开发框架Skill foundry-framework

4.5

Foundry 是一个用于以太坊智能合约开发的极速、模块化工具包。本技能涵盖其核心组件 Forge(测试与构建)、Cast(链上交互)、Anvil(本地节点)和 Chisel(REPL调试),提供完整的智能合约开发、测试(包括模糊测试和不变性测试)、Gas优化、本地部署和脚本化部署能力。关键词:Foundry,智能合约开发,以太坊,Solidity测试,模糊测试,Gas报告,区块链开发工具,DApp部署。

ERCData链上数据管理工具Skill ercdata

4.5

ERCData是一个基于以太坊Base网络的区块链数据存储与验证工具,专为AI智能体设计。它支持在链上存储AI相关数据指纹,提供数据完整性验证、访问控制管理和防篡改审计追踪功能。核心功能包括公共/私有数据存储、EIP-712签名验证、快照创建和批量操作。适用于AI智能体内存证明、模型溯源、可验证输出和跨智能体信任建立等场景。

规范到代码合规性检查器Skill spec-to-code-compliance

4.5

该技能用于区块链审计,通过对比规范文档(如白皮书)与实际代码,检查代码是否严格符合规范要求。适用于智能合约审计、协议实现合规性检查,旨在发现规范与实现之间的差异,确保安全性和正确性。关键词:区块链审计、智能合约、规范检查、代码合规性、安全审计。

多链静态分析技能Skill mvx_static_analysis

4.5

这个技能用于提供对 MultiversX 区块链代码库的静态分析指南,专注于 Rust 和 Go 语言中常见漏洞的模式识别,如不安全代码使用、未验证的 unwrap 和浮点算术。通过自动化工具和手动审查,帮助开发者识别和修复潜在问题,提升代码安全性和质量。关键词包括:静态分析、Rust、Go、MultiversX、智能合约、安全漏洞、代码审计、区块链安全。

Compact合约安全审查Skill compact-reviewer:security-review

4.5

这是一个用于Midnight网络上Compact智能合约的全面安全分析技能。它专注于检测安全漏洞、隐私泄露、披露违规、访问控制问题以及零知识证明(ZK)特定攻击向量。关键词:智能合约安全,零知识证明,隐私保护,区块链审计,访问控制,漏洞检测,ZK攻击向量,Compact语言。

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

4.5

ERC-8004代理身份注册器是一个基于以太坊区块链的工具,用于为AI智能体创建和管理可验证的链上身份。该技能允许用户通过命令行界面注册、查询和更新AI代理的NFT身份,并查看其声誉评分。核心功能包括代理身份铸造、元数据管理、声誉系统集成和跨链兼容性。适用于AI智能体开发者、区块链开发者和Web3项目团队,实现去中心化的AI代理身份认证与信任体系。关键词:ERC-8004,AI代理,以太坊身份,链上声誉,智能合约,Web3,去中心化AI,NFT身份,区块链认证,信任机制。

Midnight开发环境设置Skill midnight-tooling:midnight-setup

4.5

Midnight开发环境搭建指南,提供零知识智能合约和DApp开发所需的完整工具链配置。包括Node.js、Docker、Compact编译器、证明服务器等关键组件的安装与验证步骤,帮助开发者快速搭建隐私优先的区块链开发环境。关键词:Midnight开发环境、零知识证明、智能合约、DApp开发、Compact编译器、区块链工具链、隐私计算、开发环境配置

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

4.5

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