下载

Skill UI

浏览并发现 9119+ 精选技能

全部编程开发人工智能设计创意产品商业数据科学市场营销职场通用效率工具硬件工程语言学习

搜索智能合约，共找到 22 条记录

默认排序最新上传最多下载

Algorand 合约漏洞扫描

algorand-vulnerability-scanner

trailofbits/skills

针对 Algorand TEAL/ PyTeal 智能合约，检测 11 类平台特有漏洞（重钥、费用、组交易、权限控制等），输出严重度、修复建议，并可调用 Tealer 完成自动检测。

Cairo/StarkNet 漏洞扫描

cairo-vulnerability-scanner

trailofbits/skills

扫描 Cairo/StarkNet 智能合约，识别 felt252 算术、跨层消息、访问控制与签名重放等六种关键漏洞，输出严重度、文件定位与修复建议，助力审计与部署前安全复核。

Web3区块链智能合约与DeFi开发

blockchain-developer

sickn33/antigravity-awesome-skills

这是一份关于构建生产级Web3应用的全面指南，涵盖了智能合约、去中心化金融（DeFi）、NFT平台和DAO设计。内容深度覆盖了Solidity、Rust等主流语言、多链跨链互操作性、以及复杂的协议架构设计。适用于需要构建复杂、高安全性的去中心化系统架构师和开发者。

DeFi协议模板开发

defi-protocol-templates

sickn33/antigravity-awesome-skills

这是一个用于开发去中心化金融（DeFi）协议的生产级代码模板库，使用Solidity语言编写。它提供了质押（Staking）、自动做市商（AMM）、治理代币、借贷系统和闪贷等核心功能模块的实现框架。适用于构建复杂、稳健的区块链智能合约应用。

智能合约入口点分析

entry-point-analyzer

trailofbits/skills

分析智能合约项目，识别所有可外部调用且会修改状态的函数，划分公开、角色限制、仅限合约等访问级别，并输出结构化审计报告，适用于Solidity、Vyper等多链代码。

智能合约指南顾问

guidelines-advisor

trailofbits/skills

依据 Trail of Bits 开发指南系统审查智能合约代码，涵盖文档、架构、升级路径、代理模式、实现质量、依赖与测试，输出优先级建议与可执行改进措施。

基于属性的测试指南

property-based-testing

trailofbits/skills

为开发者提供何时及如何在序列化、验证、规范化与智能合约场景中应用属性测试的指导，包含关键属性、优先级与决策流程，辅助增强单元测试覆盖。

安全开发流程指南

secure-workflow-guide

trailofbits/skills

遵循Trail of Bits五步安全流程，为智能合约运行Slither与特性检测、生成安全图表、记录属性并梳理人工复核区域，生成可执行的安全报告与行动计划。

Solidity智能合约安全开发

solidity-security

sickn33/antigravity-awesome-skills

本技能专注于Solidity智能合约的安全最佳实践，旨在帮助用户编写健壮、安全的智能合约。它涵盖了漏洞预防、代码审计以及部署去中心化金融（DeFi）协议的安全模式。核心目标是防止重入、溢出和权限控制等常见攻击，同时优化Gas使用。

TON漏洞扫描器

ton-vulnerability-scanner

trailofbits/skills

针对 FunC 语言的 TON 智能合约，检测布尔逻辑、Jetton 转账和燃气转发等关键漏洞，输出带有文件定位的审计结果并提供修复建议，适用于合约安全评估与上线前复核。

Web3智能合约测试

sickn33/antigravity-awesome-skills

掌握使用Hardhat和Foundry等行业领先框架进行智能合约的综合测试方法。该技能涵盖单元测试、集成测试、Gas优化分析、边界情况模糊测试（Fuzzing）以及模拟主网交互，旨在确保去中心化应用（DApp）的安全性与可靠性。

规范到代码合规性审计

spec-to-code-compliance

sickn33/antigravity-awesome-skills

这是一个针对区块链协议的深度审计技能。它能够严格验证智能合约代码是否完美匹配白皮书、设计文档或技术规范中的所有细节。该工具进行详尽的逐行语义分析，找出逻辑、不变量和安全性保证方面的缺失、不一致或偏差，是进行去中心化系统合规性检查的专业工具。

语言