智能合约 Skill技能列表
智能合约安全分析技能Skill SmartContractAnalysisSkill
智能合约安全分析技能是专门用于检测和评估以太坊及区块链智能合约安全性的专业工具集。该技能集成了Slither、Mythril、Echidna等主流安全分析工具，能够自动化识别重入漏洞、整数溢出等常见安全风险，支持Solidity和Vyper语言，适用于DeFi项目审计、智能合约开发安全测试等场景。关键词：智能合约安全审计、区块链漏洞检测、DeFi安全分析、Solidity代码审查、EVM链安全测试
克隆示例Skill compact-core:clone-examples
这是一个用于区块链智能合约开发的辅助技能。其主要功能是帮助开发者快速克隆和启动Compact合约示例项目，包括计数器、代币、NFT、去中心化交易所（DEX）等模板。该技能通过提供结构化的示例目录、浅克隆命令和兼容性检查，简化了基于Midnight和OpenZeppelin框架的合约开发环境搭建流程。关键词：智能合约开发，区块链入门，合约模板，Midnight，Compact合约，OpenZeppelin，DApp开发，示例克隆。
compact-core:编译工具链Skill compact-core:compilation-tooling
本技能是关于Midnight区块链智能合约开发中Compact编译器的完整工具指南。它详细介绍了如何使用compactc编译器进行合约编译、配置构建设置、理解零知识证明（ZK）相关的输出产物（如zkir、证明者/验证者密钥），以及如何设置开发环境（如COMPACT_PATH）和集成VS Code语言服务器以获得更好的开发体验。关键词包括：Midnight区块链，Compact编译器，智能合约开发，零知识证明，ZK证明，DApp开发，编译工具链，VS Code集成。
紧凑核心：合约模式Skill compact-core:contract-patterns
本技能是Midnight区块链开发的智能合约模式库，提供一系列可重用的Compact合约模板和设计模式。涵盖投票系统、代币托管、访问控制、拍卖、注册表等常见场景，包含简单构建块和深度系统实现，旨在帮助开发者快速构建安全、隐私的区块链应用。关键词：Midnight区块链，Compact合约，智能合约模式，隐私投票，代币托管，访问控制，可重用模板，区块链开发。
Compact核心语言参考Skill compact-core:language-reference
本技能提供Midnight Network上Compact智能合约语言的完整中文参考手册，涵盖原始类型、复合类型、电路语法、见证语法、控制流和模块系统等核心内容。关键词：Compact智能合约，零知识证明，ZK语言，区块链开发，Midnight Network，隐私计算，电路编程，类型系统，模块化开发。
隐私与披露Skill compact-core:privacy-disclosure
该技能是关于在Midnight区块链平台上开发隐私保护智能合约的核心指南。它详细说明了如何安全地处理源自私有见证的数据，防止信息泄露。主要内容包括：披露规则（何时必须使用`disclose()`函数）、安全与不安全操作（如`persistentCommit`与`persistentHash`的区别）、以及实现隐私的常见模式（如承诺-揭示模式、作废符模式）。适用于解决编译器隐私错误、设计零知识证明电路和构建保护用户数据的去中心化应用。关键词：隐私保护，智能合约，零知识证明，见证值，披露规则，承诺模式，Midnight，区块链安全。
Compact标准库Skill compact-core:standard-library
Compact标准库是区块链智能合约开发的核心内置模块，提供加密函数（如持久哈希、椭圆曲线运算）、工具类型（Maybe、Either）、代币操作（铸造、发送、接收、合并）和时间函数（区块时间、时间约束）。适用于零知识证明电路开发、DeFi应用、隐私保护交易和时间敏感型智能合约。关键词：区块链开发、智能合约、零知识证明、加密算法、代币系统、时间锁、Compact语言、隐私计算。
Compact合约测试与调试Skill compact-core:testing-debugging
本技能提供关于Compact智能合约的测试与调试的全面指南。核心内容包括：常见错误（如潜在见证值泄露、电路约束失败）的快速诊断与修复，调试决策树，单元测试、见证模拟、状态验证等测试方法，以及常见陷阱的规避方案。适用于区块链开发者、智能合约工程师进行合约开发、错误排查、测试框架搭建和单元测试模拟。关键词：Compact合约，智能合约测试，电路调试，见证值泄露，约束失败，单元测试，TypeScript测试框架，区块链开发。
Solidity安全性Skill solidity-security
这个技能专注于Solidity智能合约的安全最佳实践，包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞，并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施，支持DeFi、Web3等区块链应用。关键词：Solidity，智能合约，安全，漏洞预防，DeFi，区块链，重入防护，燃气优化。
撤销令牌批准技能Skill revoke-approval
此技能用于撤销TRON区块链上TRC20令牌的高风险批准，通过调用智能合约设置批准量为零，以保护用户钱包免受恶意合约攻击，提升资产安全。关键词：区块链安全、撤销令牌批准、TRON钱包保护、智能合约操作、DeFi风险控制、令牌批准审计。
代币安全分析器Skill token-security
此技能用于分析代币合约的安全性，检测蜜罐风险、地毯式风险、流动性锁等关键安全指标，帮助用户在交易前评估风险，避免投资欺诈代币。关键词：代币安全、智能合约安全、蜜罐检测、地毯式风险、流动性分析、区块链安全。
交易模拟器Skill transaction-simulator
交易模拟器是一个区块链技能，用于在真实交易执行前模拟交易过程，预览结果如成功或失败、输出金额、gas成本，帮助用户避免经济损失，节省gas费用，并防止智能合约错误。适用于DeFi操作、智能合约交互和复杂交易模拟。关键词：交易模拟、区块链、智能合约、DeFi、gas节省、防止错误、模拟器、测试。