智能合约 Skill技能列表
刺猬智能合约模糊测试技能Skill echidna-fuzzer
Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
MidnightCI/CD设置Skill midnight-tooling:midnight-ci
这是一个用于Midnight区块链项目的CI/CD自动化配置技能，专门针对智能合约开发和DApp测试。该技能提供GitHub Actions工作流模板，实现合约编译自动化、TypeScript测试执行、版本一致性验证和集成测试。关键词包括：Midnight区块链、智能合约CI/CD、Compact编译器、GitHub Actions自动化、DApp测试、证明服务器集成、版本控制、持续集成部署。
AlgorandTypeScript迁移助手Skill algorand-ts-migration
这是一个用于将智能合约从旧版 TEALScript 或 Algorand TypeScript Beta 代码库迁移到新版 Algorand TypeScript 1.0 的指南工具。它提供了详细的迁移工作流、源语言识别方法、关键语法和类型变更对照表，帮助开发者高效完成合约升级。关键词：Algorand 智能合约迁移，TEALScript 升级，TypeScript 1.0，区块链开发，代码转换。
Solidity安全性Skill solidity-security
这个技能专注于Solidity智能合约的安全最佳实践，包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞，并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施，支持DeFi、Web3等区块链应用。关键词：Solidity，智能合约，安全，漏洞预防，DeFi，区块链，重入防护，燃气优化。
错误分析Skill error-analysis
该技能利用人工智能分析TRON区块链交易错误，提供根因、可能原因和解决方案的简洁解释，帮助用户快速理解和解决智能合约执行、账户激活等区块链交易问题。关键词：TRON、区块链、错误分析、智能合约、交易失败、AI解释。
撤销令牌批准技能Skill revoke-approval
此技能用于撤销TRON区块链上TRC20令牌的高风险批准，通过调用智能合约设置批准量为零，以保护用户钱包免受恶意合约攻击，提升资产安全。关键词：区块链安全、撤销令牌批准、TRON钱包保护、智能合约操作、DeFi风险控制、令牌批准审计。
代币安全分析器Skill token-security
此技能用于分析代币合约的安全性，检测蜜罐风险、地毯式风险、流动性锁等关键安全指标，帮助用户在交易前评估风险，避免投资欺诈代币。关键词：代币安全、智能合约安全、蜜罐检测、地毯式风险、流动性分析、区块链安全。
区块链研究专家Skill research-blockchain
区块链研究专家是一个专注于使用Zai MCP对EVM链、永久性去中心化交易所架构、中心化交易所集成和DeFi-TradFi桥接进行综合分析的专业研究代理。关键词包括：区块链研究、协议比较、技术可行性、安全审计、合规性分析。
CantonNetwork开源仓库指南Skill canton-network-repos
本技能提供Canton Network开源生态系统的全面指南，涵盖DAML SDK、Canton运行时和Splice应用程序的版本管理、构建流程和故障排除。适用于区块链开发者、智能合约工程师和去中心化应用构建者，帮助解决版本兼容性、包ID不匹配和LF版本升级等问题。关键词：Canton Network, DAML智能合约, 区块链开发, 去中心化应用, LF版本, 包ID, 版本兼容性, 开源构建, Splice应用程序, 分布式账本。
智能合约安全分析技能Skill SmartContractAnalysisSkill
智能合约安全分析技能是专门用于检测和评估以太坊及区块链智能合约安全性的专业工具集。该技能集成了Slither、Mythril、Echidna等主流安全分析工具，能够自动化识别重入漏洞、整数溢出等常见安全风险，支持Solidity和Vyper语言，适用于DeFi项目审计、智能合约开发安全测试等场景。关键词：智能合约安全审计、区块链漏洞检测、DeFi安全分析、Solidity代码审查、EVM链安全测试
安全护盾Skill shield
安全护盾是一款多链安全扫描工具，专门用于智能合约代码审计、区块链地址风险检测、交易预执行验证以及诈骗地址识别。该工具支持自动识别区块链网络，帮助开发者和用户在部署合约、转账交易前识别潜在的安全漏洞、恶意代码和诈骗风险，保障数字资产安全。关键词：区块链安全扫描，智能合约审计，地址风险检测，诈骗识别，多链安全工具，交易验证，DeFi安全，Web3安全。