static-analysis

brooks-lint

hyhmrright

AI code reviews grounded in 12 classic engineering books — decay risk diagnostics with book citations, severity labels, and 6 analysis modes including full-sweep auto-fix

anchorlaw

unknowbug

Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.

dsh-preflight

nzl153

DSH 插件安装前预演冲突、出问题后读日志定位根因，并给出可直接执行的修复命令。

dsh-plugin-security-audit

chendengyuanxm

Static security audit for dynamic Cordis plugins in DeepSeek Harness (DSH): rule-based source scanning, risk reports injected into tool results, and user-approval escalation before activating high-risk plugin packages. 动态 Cordis 插件静态安全审查。

dsh-code-reuse-firewall

keyiadiannao

Pre-write reuse firewall for DeepSeek Harness: before the agent writes a new helper/service, surface the existing implementations that already cover that intent. Deterministic retrieval (no LLM) via the Auto_code_audit capability channel.