下载

Skill UI

浏览并发现 9183+ 精选技能

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

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

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

规范到代码合规性审计

spec-to-code-compliance

sickn33/antigravity-awesome-skills

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

1

语言