dsh-plugin-coding-delegate: 代碼執行邊界與雙重簽名審計

dsh-plugin-coding-delegate 是 DeepSeek Harness (DSH) 的一個插件,旨在通過插件化架構爲自主編程智能體提供安全控制。該插件強制分離“架構師”(設計任務)與“執行者”(本地沙箱運行代碼)角色,利用 Ed25519 雙籤機制和 Git Notes 記錄,防止規劃者直接編寫代碼,確保代碼變更的可審計性與防自批准。安裝需從倉庫運行腳本,典型用法包含準備合同與人工批准兩階段流程。

閱讀全文
audit-context-building:漏洞狩獵前先建審計上下文

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

閱讀全文
dsh-proof:證據驅動的完成證明與迴歸歸因插件

`dsh-proof` 是一個開源插件,旨在將 DeepSeek Harness (DSH) 中 Agent 的自我報告轉化爲可驗證的證據鏈。它通過內容尋址、簽名檢查點和離線錨點,構建防篡改的信任鏈,提供證據驅動完成證明、迴歸歸因及實時驗證能力。插件採用分層架構,核心層與宿主解耦,包含 DSH 插件、MCP Server 及各類適配器。該工具適用於安全關鍵型開發、嚴格迴歸測試及第三方審計,將 Agent 開發從“盲目執行”轉變爲“可驗證執行”。

閱讀全文
dsh-git-push:DSH Git 自動提交推送與審計插件

`dsh-git-push` 是 EIGHTfs 維護的 DeepSeek Harness 插件,旨在自動化智能體開發中的 Git 操作。它集成了掃描、一鍵提交推送、代碼審計(含22個規則包)及 npm 發包能力。插件支持憑據管理、自動選擇 Remote 和提交身份,並提供 HTTP API、獨立 CLI 及 AI 任務自動推送功能,顯著降低了環境配置成本。

閱讀全文
DeepSeek Harness 安全衛士插件

`dsh-security-guard` 是 DeepSeek Harness (DSH) 的一款安全插件,旨在通過靜態掃描檢測第三方插件的安全性,防止 Token 泄露、惡意網絡連接及代碼混淆等風險。該插件內置 28 條檢測規則,涵蓋 Token、數據外發、動態執行、混淆、網絡監聽、供應鏈及持久化等多個場景。它支持啓動自檢、DSH 工具註冊、告警機制(含 Webhook)、本地 Web 儀表盤以及遠程規則更新。安裝時需退出 DSH Host 並使用官方加載方式,插件運行時建議檢查源碼與許可證。

閱讀全文
dsh-license-obligation-proof:許可證義務交付閉環的證據生成插件

DeepSeek Harness (DSH) 的 `dsh-license-obligation-proof` 插件旨在生成和驗證合規產物的交付證據,填補了從掃描到交付證明的空白。該插件專注於離線、確定性的證據生成與一致性校驗,輸出包含哈希與元數據的報告,並明確標記無法證明組件集窮舉及法律合規性。插件不進行掃描或法律解釋,需配合 DSH 環境使用。

閱讀全文
DeepSeek Harness 插件:dsh-audit-mode 獨立代碼審計模式

DeepSeek Harness (DSH) 的 `dsh-audit-mode` 插件爲智能體開發提供獨立的代碼審計機制。該插件作爲第五種預設模式,通過獨立的 Codex、Claude Code 或 DSH LLM 審查者,結合人工複覈與持久化存儲,確保任務執行安全。用戶可在 Web 或 TUI 界面控制審計流程,支持接受修復、暫停會話及查看歷史記錄。安裝後即可通過命令或界面啓用,適用於需要在生產環境中引入安全審計的開發場景。

閱讀全文
dsh-security-assurance:DeepSeek Harness 策略驅動的倉庫安全評估插件

`dsh-security-assurance` 是 DeepSeek Harness 的策略驅動倉庫安全評估插件。它通過接入 Harness 接口,將評估過程封裝爲可查詢、可審計的版本化結果,旨在解決靜態掃描難以追溯來源的問題。 該插件主要提供 Node 項目生命週期檢查、npm 發佈面檢查、pnpm 鎖文件完整性驗證、GitHub Actions 權限檢查以及對 Gitleaks 等報告的歸一化與獨立驗證。它支持 REPOSITORY、CHANGE 和 TARGETED 三種評估模式,並依賴 Node.js 環境。 作爲安全保障工具,該插件側重於證據採集與獨立驗證,而非通用掃描。它僅支持

閱讀全文
dsh-plugin-verify:DeepSeek Harness 智能體的證據覈查工具包

`dsh-plugin-verify` 是 DeepSeek Harness (DSH) 的一個只讀工作流插件,旨在通過自動化覈查解決智能體難以驗證行爲和環境狀態的問題。它提供多種覈查模式:基於關鍵詞的證據檢查、配置文件的校驗(支持 JSON/YAML 結構測試)、HTTP 資源探測、NPM 包及 GitHub 倉庫檢查,以及批量併發檢查。該插件依賴啓發式搜索,不支持寫入操作,主要用於代碼審計、配置校驗和資源探測場景。

閱讀全文
DeepSeek Harness 審計模式插件介紹 (dsh-audit-mode)

`dsh-audit-mode` 是 DeepSeek Harness 的第五種模式,引入了獨立、持久化的 Codex 審計機制及人工審批流程,作爲系統的安全網。它支持 Codex、Claude Code 或 DSH 自身作爲審查者,提供 TUI 和 Web 雙端控制界面。在審計中,警告不暫停會話,但關鍵警告或審查者連續失敗會觸發暫停。最終審計會在會話結束時執行全量檢查。該插件旨在降低代碼生成風險,支持 DSH 0.1.3-alpha.2 版本。

閱讀全文
oukeming64-tech/codex-skills: Evidence-first Agent Skills for Handoff Auditing and Documen

`codex-skills` 是一套針對 DeepSeek Harness 的社區指令型技能包,旨在解決 Agent 在交接時代碼、證據與文檔不一致的邊界問題。它包含兩個核心技能:`handoff-auditor` 用於在交接前審計聲明與實際狀態;`docs-sync-guardian` 用於強制同步文檔與代碼變更。該插件輕量級,僅通過文件系統提供,不依賴網絡或後臺服務,適用於驗證他人交接或防止文檔漂移。

閱讀全文
dsh-windows-workspace-guard:Windows 工作區與憑證防護插件

`dsh-windows-workspace-guard` 是一個專爲 DeepSeek Harness (DSH) 開發的 Windows 代理防護插件,旨在控制智能體的危險文件操作。該插件獨立於官方組件,通過攔截工具調用,提供 `PASS`、`ASK`(審批)和 `HARD BLOCK`(攔截)三種決策機制,以防止刪除文件、讀取憑證或破壞系統狀態。 它支持多種工具調用,具備預檢能力、審計日誌及摘要統計功能。安裝簡單,用戶可配置 `workspaceRoots` 和 `sensitivePaths` 來隔離環境。該插件不發送網絡請求,屬於保守的邊界控制工具,適用於需要在 Windows 環境

閱讀全文
dsh-vulnsec-bridge:把 VulnClaw 與 DeepSec 接入 DeepSeek Harness 的安全插件

# 前言 在 DeepSeek Harness(dsh)裏做安全相關任務時,常見的做法是另開終端跑滲透測試或代碼審計 CLI,再把輸出複製回會話繼續分析。工具能力沒有註冊成 dsh 工具,模型無法直接調用,結果也接不進後續的自動化流程。 dsh-vulnsec-bridge 就是爲這個場景做的橋接插件:它把 VulnClaw(AI 滲透測試 CLI)與 DeepSec(Shield 代碼審計 + Spear 授權滲透)包裝成 dsh 插件,提供 18 個安全工具和一個圖形化的「安全工具臺」面板。下面介紹它的功能、安裝方法和典型用法。 先說前提:插件的滲透

閱讀全文
DSH Project Wiki:爲 DeepSeek Harness 增加可審計的項目級 Wiki

`dsh-project-wiki` 是面向 DeepSeek Harness 的本地優先項目 Wiki 插件,由 yu-xin-c 開發(MIT 許可證)。它旨在解決開發中關鍵上下文易丟失、新會話難以繼承及重讀聊天成本高且易引入過期結論的問題。插件將架構知識、設計決策及排障結論沉澱爲工作區內的 Markdown 頁面,支持原生 Web 查看、編輯和全文檢索(基於 FTS5,不含向量搜索)。其核心特性包括提案審覈機制(Agent 提案需人工批准方可入庫)、來源指紋關聯、代碼變更後的過期掃描、知識圖譜生成及雙向鏈接,並保留完整修訂記錄。安裝需 Node.js 22.19+ 或 24+,通過 np

閱讀全文
SecurStack DSH 插件:在 DeepSeek Harness 中調用 SecurStack 掃描、策略與診斷

SecurStack DSH 插件是一個面向 DeepSeek Harness 的適配器,旨在讓智能體工作流直接調用現有的 `securstack` CLI,而無需重新實現安全工具。該插件主要提供四大核心功能:通過 CLI 執行倉庫安全掃描、進行策略門檻檢查、運行本地診斷,並在 CLI 支持時返回結構化的 JSON 結果。它複用現有的 SecurStack 認證方式(如 API Key 或命令行登錄),並嚴格遵循保守邊界,v1 版本不包含掃描引擎、加密或 Shielding 操作等底層邏輯。安裝前需確保環境爲 Node.js 20 及以上,並通過 `dsh plugin` 命令啓用。該插件適用

閱讀全文
用 variant-analysis 做變體分析:找到一個 Bug,再把同類搜乾淨

Trail of Bits 的 variant-analysis 把安全工程師日常的變體分析寫成 Agent Skill:在已經確認一處漏洞後,抽出根因、用精確模式校準,再一次只放寬一個條件搜整倉,最後分診並留下 CI 規則。本文按官方 SKILL.md、插件 README 和策略文檔,說明五步流程、ripgrep/Semgrep/CodeQL 的選用,以及 Claude Code、Codex、Cursor 的安裝與調用方式。

閱讀全文
differential-review:Trail of Bits 把 PR 安全差異審查寫成可執行流程

differential-review 是 Trail of Bits 發佈的 Agent Skill,對 PR、commit 和 diff 做安全導向審查:按風險而非行數分流,用 git 歷史抓回歸,定量計算爆炸半徑,把缺測試寫成更高風險,並強制輸出帶行號與攻擊場景的 Markdown 報告。本文覈對官方 SKILL.md、插件 README 與文檔站,說明它解決什麼問題、如何在 Claude Code / Codex / 通用 Skill 目錄裏安裝,以及三類官方用法和不適用場景。

閱讀全文