智能合约 Skill技能列表
错误分析Skill error-analysis
该技能利用人工智能分析TRON区块链交易错误,提供根因、可能原因和解决方案的简洁解释,帮助用户快速理解和解决智能合约执行、账户激活等区块链交易问题。关键词:TRON、区块链、错误分析、智能合约、交易失败、AI解释。
Web3智能合约测试Skill web3-testing
这个技能专注于使用Hardhat和Foundry工具对Web3智能合约进行全面的测试,包括单元测试、集成测试、气体优化、模糊测试和主网分叉测试。适用于Solidity合约开发、区块链应用测试和DeFi协议验证,关键词包括Web3、智能合约测试、Hardhat、Foundry、单元测试、集成测试、气体优化、模糊测试、主网分叉、Solidity、DeFi、Etherscan验证。
智能合约开发指南顾问Skill guidelines-advisor
这个技能是基于Trail of Bits最佳实践的智能合约开发顾问工具,用于系统分析代码库、生成文档和规范、审查架构和升级模式、评估实现质量、识别常见陷阱、检查依赖关系并提供测试改进建议。旨在提高智能合约的安全性和开发质量,适用于区块链开发者和安全审计师。关键词:智能合约、安全开发、代码审计、区块链安全、Trail of Bits、最佳实践、开发指南。
AlgoKitCLI使用指南Skill use-algokit-cli
AlgoKit CLI 是 Algorand 区块链智能合约开发的核心工具集,提供从合约构建、测试到部署的完整工作流。关键词:Algorand 智能合约开发,AlgoKit CLI 命令,本地网络部署,区块链 DApp 构建,智能合约测试,Puya 编译器,ARC56 规范,类型化客户端生成。
Solana漏洞扫描器Skill solana-vulnerability-scanner
这个技能用于自动扫描Solana区块链程序(包括原生Rust和Anchor框架)的6个关键安全漏洞,如任意跨程序调用(CPI)、程序派生地址(PDA)验证不当、缺失签名和所有权检查等。适用于智能合约安全审计、漏洞挖掘、预发布安全评估等场景。关键词:Solana漏洞扫描、智能合约安全、Anchor程序审计、CPI安全、PDA验证、安全漏洞检测、区块链安全。
代币集成分析Skill token-integration-analyzer
这个技能用于分析区块链代币的集成和实现,基于 Trail of Bits 的代币集成清单。它检查 ERC20/ERC721 合规性、评估代币模式、进行安全审计,并提供风险评估报告。关键词:代币集成、ERC20、ERC721、智能合约安全、安全审计、区块链分析、代币模式、链上分析。
Solidity安全性Skill solidity-security
这个技能专注于Solidity智能合约的安全最佳实践,包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞,并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施,支持DeFi、Web3等区块链应用。关键词:Solidity,智能合约,安全,漏洞预防,DeFi,区块链,重入防护,燃气优化。
代币安全分析器Skill token-security
此技能用于分析代币合约的安全性,检测蜜罐风险、地毯式风险、流动性锁等关键安全指标,帮助用户在交易前评估风险,避免投资欺诈代币。关键词:代币安全、智能合约安全、蜜罐检测、地毯式风险、流动性分析、区块链安全。
智能合约安全分析技能Skill SmartContractAnalysisSkill
智能合约安全分析技能是专门用于检测和评估以太坊及区块链智能合约安全性的专业工具集。该技能集成了Slither、Mythril、Echidna等主流安全分析工具,能够自动化识别重入漏洞、整数溢出等常见安全风险,支持Solidity和Vyper语言,适用于DeFi项目审计、智能合约开发安全测试等场景。关键词:智能合约安全审计、区块链漏洞检测、DeFi安全分析、Solidity代码审查、EVM链安全测试
TON漏洞扫描器Skill ton-vulnerability-scanner
这个技能是TON漏洞扫描器,用于审计TON区块链上使用FunC编写的智能合约,检测整数作为布尔值误用、假冒Jetton合约和未检查gas的TON转发等关键漏洞,提高合约安全性。关键词:TON、智能合约、漏洞扫描、安全审计、FunC、Jetton、区块链安全。
交易模拟器Skill transaction-simulator
交易模拟器是一个区块链技能,用于在真实交易执行前模拟交易过程,预览结果如成功或失败、输出金额、gas成本,帮助用户避免经济损失,节省gas费用,并防止智能合约错误。适用于DeFi操作、智能合约交互和复杂交易模拟。关键词:交易模拟、区块链、智能合约、DeFi、gas节省、防止错误、模拟器、测试。
VerifySkill verify
使用ERC-8004链上注册表验证代理身份,防止冒充攻击,增强交易安全。