登录
软件下载 帮助文档 新闻资讯

Skill UI

浏览并发现 18950+ 精选技能
全部 编程开发 人工智能 设计创意 产品商业 数据科学 市场营销 职场通用 效率工具 硬件工程 语言学习
搜索 代码分析 ，共找到 499 条记录
默认排序 最新上传 最多下载

差异化安全代码审计

differential-review
sickn33/antigravity-awesome-skills
344
这是一种针对拉取请求（PR）、提交和代码差异（Diff）的深度安全代码审查流程。它超越了常规代码审查，重点关注身份验证、加密、外部调用和价值转移等高风险逻辑。本方法论强调基于证据的分析，要求构建详细的攻击场景模型，并生成结构化的审计报告，以发现遗漏的漏洞与回归。
查看详情

DWARF调试信息分析与标准

dwarf-expert
sickn33/antigravity-awesome-skills
221
本技能提供关于DWARF调试标准（v3-v5）的专业知识，用于分析、解析和验证编译二进制文件中的调试信息。用户可以查询DWARF标准细节、利用`dwarfdump`进行结构校验，或编写与调试数据交互的底层代码。
查看详情

Semgrep 安全规则编写指南

semgrep-rule-creator
sickn33/antigravity-awesome-skills
387
这是一个用于创建和完善自定义 Semgrep 规则的专业指南。它详细介绍了如何编写高质量、高精度的静态分析规则，用于检测代码中的安全漏洞、潜在的程序缺陷，并确保代码符合最佳工程实践。核心方法包括“测试优先”和使用污点分析（Taint Mode）。
查看详情

跨语言安全规则移植与验证

semgrep-rule-variant-creator
sickn33/antigravity-awesome-skills
467
本技能用于系统性地将已有的Semgrep安全规则移植到多个目标编程语言。它提供了一个完整的四阶段流程，包括适用性分析、测试驱动的规则创建和严格的验证，确保规则在多语言代码库中具有一致且准确的安全覆盖率。
查看详情

规范到代码合规性审计

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

静态分析助手

static-analysis
sickn33/antigravity-awesome-skills
392
提供静态代码分析功能，无需运行程序即可检查源代码，有助于开发者在构建流程前期发现潜在问题。
查看详情

代码漏洞变体深度分析

variant-analysis
sickn33/antigravity-awesome-skills
146
该技能用于系统地识别大型代码库中的相似漏洞和缺陷。它指导用户利用CodeQL和Semgrep等工具，通过逐步泛化初始的漏洞模式，进行全面而深入的安全审计。适用于高级安全研究、漏洞挖掘和代码审计。
查看详情

敏感数据零化安全审计

zeroize-audit
sickn33/antigravity-awesome-skills
319
该工具用于对C/C++/Rust等代码进行安全审计，专门检测敏感数据（如密钥、密码、PII）是否被正确“零化”（即清除）。它能够深入分析编译器优化（如DSE）可能移除或削弱的内存清理过程，确保代码在运行时不会泄露秘密信息，适用于安全关键代码库。
查看详情

数学驱动代码分析

matematico-tao
sickn33/antigravity-awesome-skills
451
借助图论、范畴论、随机系统、信息论与形式不变量等深度数学工具，剖析代码与架构，发现隐藏结构并推动性能与可靠性提升。
查看详情

跨平台安全审计专家

audit-skills
sickn33/antigravity-awesome-skills
326
这是一个专业的安全审计工具，能够对AI技能和捆绑包执行非侵入式的静态分析。它覆盖Windows、macOS、Linux/Unix、Android和iOS等主流跨平台环境，用于识别恶意代码模式、数据泄露、系统稳定性风险和混淆载荷，是进行安全漏洞验证的利器。
查看详情

SwiftUI代码最佳实践审查

swiftui-pro
twostraws/SwiftUI-Agent-Skill
291
这是一个为SwiftUI项目设计的代码审查工具。它能全面分析代码质量，确保代码遵循现代Swift API、实现最佳性能、管理稳健的数据流，并符合Apple的人机界面指南和可访问性标准（如VoiceOver和Dynamic Type）。适用于编写、重构或审查复杂的SwiftUI代码，以保持高代码卫生和可维护性。
查看详情

产品领域编排器与发现循环

product-skills
alirezarezvani/claude-skills
233
这是一个强大的产品领域编排器，负责协调整个产品开发生命周期。它能够将产品需求路由到16个专业子技能（如RICE、OKRs、用户研究、分析），并驱动持续的、机器门控的发现循环。适用于需要系统性地进行功能优先级排序、A/B测试验证或将初步假设转化为验证代码的场景。
查看详情
上一页123...10111213141516...404142下一页
语言
简体中文
English