audit-context-building:漏洞狩猎前先建审计上下文

Trail of Bits 的 audit-context-building Skill 在审计与威胁建模起点,按函数梳理假设、保证与依赖,产出 DOSSIER 与函数级记录,标注 nothing found 与开放问题,不命名漏洞。适用于 Claude Code、Codex 等通过 trailofbits/skills 市场安装。

阅读全文
DSH Threat Modeling: 威胁建模、攻击树与 STRIDE 技能

DeepSeek Harness (DSH) 插件 satan9394/dsh-threat-modeling 旨在辅助智能体进行结构化威胁分析。该插件集成了 STRIDE 威胁模型与攻击树,帮助开发者在系统设计早期识别潜在安全漏洞。插件以当前 DSH 进程权限运行,适用于需要进行安全评估的开发者。目前未提供官方安装命令,请访问 GitHub 仓库查看具体安装步骤与源码。

阅读全文
DeepSeek Harness 插件:dsh-security-hardening

DeepSeek Harness (DSH) 插件 `dsh-security-hardening` 旨在通过模块化方式解决智能体开发中的安全痛点。该插件由维护者 `satan9394` 开发,属于安全加固分类,核心功能包括实施威胁建模 STRIDE 框架与构建三层边界系统模型,为智能体提供结构化的安全防护思路。由于资料中未提供具体安装命令和操作细节,用户需自行访问目录页或 GitHub 仓库获取信息。使用时需注意权限控制及源码审查,确保以当前进程权限运行并符合安全规范。

阅读全文
security-threat-model:让 Agent 基于代码仓库做威胁建模

介绍 OpenAI 精选 Skill security-threat-model:基于仓库证据枚举信任边界、资产、攻击者能力与滥用路径,输出结构化 Markdown 威胁模型。文中核实了官方工作流、报告契约、Codex/Cursor/Claude Code(含 Trail of Bits 插件)的安装启用方式,以及典型提示词与使用边界。

阅读全文