audit-context-building：漏洞狩獵前先建審計上下文

Trail of Bits 的 audit-context-building Skill 在審計與威脅建模起點，按函數梳理假設、保證與依賴，產出 DOSSIER 與函數級記錄，標註 nothing found 與開放問題，不命名漏洞。適用於 Claude Code、Codex 等通過 trailofbits/skills 市場安裝。