下载

Skill UI

浏览并发现 9167+ 精选技能

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

搜索漏洞分析，共找到 4 条记录

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

超细粒度背景审计

audit-context-building

trailofbits/skills

在漏洞挖掘前激活一个超细粒度逐行分析模式，持续跟踪上下文、假设与不变量，帮助 Claude 建立稳定的架构理解，避免断层与瞎猜，适合安全审计和架构评审准备。

超细粒度背景审计

audit-context-building

trailofbits/skills

在漏洞挖掘前激活一个超细粒度逐行分析模式，持续跟踪上下文、假设与不变量，帮助 Claude 建立稳定的架构理解，避免断层与瞎猜，适合安全审计和架构评审准备。

智能体技能安全扫描器

edgeone-skill-scanner

Tencent/AI-Infra-Guard

本工具是一款专业的智能体技能安全扫描器，用于在您部署或使用任何新技能前，对其进行全面的安全风险和漏洞扫描。它采用100%本地化静态分析技术，确保文件内容、凭证或个人数据绝不会外传，为集成AI能力提供最大级别的隐私和安全保障。

严谨数学证明验证与修复系统

wanshuiyin/Auto-claude-code-research-in-sleep

本工具用于对LaTeX格式的复杂数学证明进行系统、严谨的验证。它通过跨模型对抗性审查，自动识别逻辑漏洞、分析缺陷、假设缺失等问题。系统会修复证明中的每个漏洞并生成详细的审计报告，帮助用户确保理论文章的数学严谨性和逻辑完整性。

1

语言