智能合约 Skill技能列表
代币部署技能Skill BankrAgent-TokenDeployment
此技能用于通过Clanker平台部署和管理ERC20代币，支持Base和Unichain区块链，提供代币命名、符号设置、元数据更新和费用索取功能，适用于数字货币创建、区块链项目开发和智能合约部署，关键词包括ERC20代币、Clanker、代币部署、区块链、智能合约、Web3、DApp开发。
MidnightCI/CD设置Skill midnight-tooling:midnight-ci
这是一个用于Midnight区块链项目的CI/CD自动化配置技能，专门针对智能合约开发和DApp测试。该技能提供GitHub Actions工作流模板，实现合约编译自动化、TypeScript测试执行、版本一致性验证和集成测试。关键词包括：Midnight区块链、智能合约CI/CD、Compact编译器、GitHub Actions自动化、DApp测试、证明服务器集成、版本控制、持续集成部署。
规范代码一致性审计技能Skill spec-to-code-compliance
这个技能专注于检查区块链智能合约代码与文档规范之间的对齐情况，确保实现与设计完全一致，适用于审计、合规验证和漏洞预防。关键词：区块链审计、智能合约、规范一致性、代码审查、安全验证、合规检查。
ERC-8004智能体身份管理Skill erc8004-identity
ERC-8004 智能体身份管理技能是一个基于区块链的工具，专为AI智能体设计，用于在BNB链上自主注册、验证和管理其链上身份。它遵循ERC-8004标准，支持免Gas费注册、元数据更新和状态查询，是构建可信、可验证的Web3 AI智能体的核心组件。关键词：ERC-8004，BNB链，AI智能体，链上身份，Web3，区块链身份，智能合约，去中心化AI。
Hardhat智能合约开发框架Skill hardhat-framework
Hardhat框架技能是用于以太坊智能合约开发、测试和部署的专业工具集。它提供完整的开发环境，包括合约编译、本地网络部署、自动化测试、Gas费用分析、合约验证等功能。关键词：以太坊开发、智能合约、区块链开发、Solidity、Web3、DApp开发、合约测试、部署管理、TypeChain、网络分叉。
智能合约安全审计工作流Skill secure-workflow-guide
这个技能用于实施Trail of Bits的5步安全开发工作流，自动化检测和修复智能合约中的安全问题。它包括Slither扫描漏洞、检查可升级性和ERC合规性、生成可视化安全图、文档化安全属性以进行模糊测试和验证，以及手动审查隐私、前运行、密码学和DeFi风险。适用于区块链开发人员、安全审计师和智能合约团队，提升代码安全性和合规性。关键词：智能合约安全，Slither扫描，Echidna模糊测试，安全审计，区块链开发，DeFi安全，ERC合规，可视化安全图。
MultiversXPythonSDK智能合约操作Skill mvx_sdk_py_contracts
该技能提供了使用 MultiversX Python SDK 进行智能合约开发的完整指南，包括 ABI 加载、合约部署、函数调用和状态查询等操作。适用于区块链开发者，关键词：智能合约、ABI、部署、调用、查询、MultiversX、Python SDK、区块链开发、智能合约编程。
MultiversX跨合约调用开发技能Skill multiversx-cross-contract-calls
该技能涉及使用MultiversX区块链的Tx Builder API进行智能合约之间的跨合约调用，包括同步调用、异步调用、回调处理、代币支付和回传代币管理。它用于开发去中心化应用（DApp）、DeFi项目、NFT平台等区块链应用，提升智能合约的互操作性和功能扩展。关键词：MultiversX、跨合约调用、智能合约、区块链开发、DeFi、DApp、异步调用、回调处理。
规范-代码合规检查技能Skill spec-to-code-compliance
该技能用于在区块链审计中验证代码是否精确实现文档规范，比较代码与白皮书或设计文档，找出规范与实现之间的差距，进行合规检查。关键词：区块链审计、智能合约、合规检查、规范验证、白皮书。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
MultiversXSDK-JS智能合约操作Skill mvx_sdk_js_contracts
本技能专注于使用 MultiversX 的 TypeScript/JavaScript SDK 进行智能合约开发，涵盖 ABI 加载、部署、调用、查询和解析等操作。适用于区块链开发者，关键词：智能合约，MultiversX，SDK，部署，调用，查询，ABI，区块链开发。
Solidity安全性Skill solidity-security
这个技能专注于Solidity智能合约的安全最佳实践，包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞，并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施，支持DeFi、Web3等区块链应用。关键词：Solidity，智能合约，安全，漏洞预防，DeFi，区块链，重入防护，燃气优化。