SkillAI · RedTeam × SRC Hunter：把紅隊手法轉成可提交的 SRC 戰果
面向授權滲透測試、補天、廠商SRC及衆測平臺的一體化挖洞工具鏈「礪刃」，由逢俞科技發佈。融合pentest-lyan工程化滲透方法論與src-vuln-hunting提交規範，內置12維威脅建模覆蓋業務Web常見攻擊面，JS多源解析從六大渠道提取後端接口，三層確認校驗門閂機制依次校驗訪問可達性、漏洞存在性、可利用性，三項全過才標記confirmed，規避返回200即判漏洞的誤報；報告按補天風格自動整理原始數據包、危害證明和不少於2條修復建議，可直接報送；支持本地持久化斷點續測，並可聯動src-6k白盒審計還原利用鏈路。僅可在書面授權範圍內使用，恪守最小驗證原則。
閱讀全文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 插件）的安裝啓用方式，以及典型提示詞與使用邊界。
閱讀全文