dsh-lens
DeepSeek Harness 的实时代码反馈——LSP、代码检查器、格式化工具、类型检查和结构分析。
插件会安装到这里；不确定时保持 web。
npx -y @deepseek-ai/dsh plugin --profile web add dsh-lens@0.2.5Lens 以 dsh-lens 发布，当前版本为 0.2.5。Plugin Hub 会校验它的 manifest，并保存精确安装来源，便于复现安装结果。
Real-time code feedback for DeepSeek Harness: LSP, linters, formatters, type-checking, and structural analysis while the agent writes.
Current release: dsh-lens@0.2.0.
English | 中文
This is a host-native port of pi-lens. The analysis engine stays in pi-lens; this plugin is the DeepSeek Harness adapter.
On every write / edit / bash mutation it runs the same pipeline pi-lens uses inside Pi:
It also registers the full agent-facing tool set, the /lens-* commands, bundled pi-lens skills, and a WebUI chip/dock.
Standalone CLI (review graph, same as pi-lens build-graph):
npx dsh-lens build-graph --cwd .
npx dsh-lens status
dsh plugin --profile web add dsh-lens
Or from git:
dsh plugin --profile web add github:NexusAgentX/dsh-lens
Do not also attach pi-lens-mcp / official MCP-wrapped pi-lens against the same workspace — that double-starts language servers.
Always available:
lens_diagnostics — cached / project diagnostic state (delta / all / full)lsp_diagnostics — file- or directory-scoped LSP diagnosticssymbol_search — ranked identifier searchmodule_report / project_reportread_symbol / read_enclosingAlso registered (dsh has no dynamic-tool API, so they stay visible):
ast_grep_search / ast_grep_replace / ast_grep_outline / ast_grep_dumplsp_navigationlens_diagnostic_markpi_lens_activate_tools — no-op catalog on dsh; all tools are already activeThe official lsp tool is left alone. Use it for simple go-to; use lsp_navigation for the full IDE surface.
lens_diagnostics, ast_grep_search, and symbol_search present as search cards with file follow-along.
| Command | What it does |
|---|---|
/lens-toggle | Enable or disable the pipeline for this session |
/lens-context-toggle | Keep tools/LSP/format on, stop injecting into the next turn |
/lens-widget-toggle | Show or hide the WebUI chip and dock |
/lens-health | Session health, LSP list, cascade, event-loop, noisy rules |
/lens-perf | Process + machine-wide p50/p99 phase ranking |
/lens-tools | Installer status grouped by source |
/lens-tdi | Technical Debt Index |
/lens-map | Write the HTML dependency map; the chip gets an Open map action |
/lens-allow-edit <path> | One-shot read-guard exemption |
On the official dsh web profile the plugin ships a browser half (dsh.client):
conversation.session.header.actions)conversation.input.dock)Menu, Tooltip, StateDot, chevron, CSS modules, zh/en localeThe chip reads the lens session projection, folded from widget-state on tool/result, turn/end, and /lens-widget-toggle. It does not append a custom session event, so persistence will not reject the log.
The four upstream pi-lens skills are registered when ctx.skills is present:
pi-lens-ast-greppi-lens-lsp-navigationpi-lens-write-ast-grep-rulepi-lens-write-tree-sitter-ruleSame files as pi-lens:
.pi-lens.json~/.pi-lens/config.jsonPlugin config on the Cordis entry (omit a key to keep .pi-lens.json / env):
- id: dsh-lens
name: dsh-lens
config:
cwd: /path/to/workspace
enabled: true
contextInjection: true
lsp: true
format: true
immediateFormat: false
autofix: true
tests: true
delta: true
guard: false
opengrep: true
readGuard: true
turnSummary: false
actionableWarnings: false
actionableWarningActions: false
actionableWarningAutofix: false
actionableWarningAll: false
Boolean keys map onto the same flags as pi-lens (--no-lsp, --lens-guard, --immediate-format, …).
dsh freezes tool arguments before dispatch, so Pi's in-flight edit autopatch cannot rewrite old_string. dsh already has its own read-before-edit observation policy.
These Pi host surfaces are not cloned: TUI footer, interactive LSP install prompts, session fork / cross-process nudge, official Settings cards (apiproxy allowlist), and /lens-booboo (still deferred upstream).
Inspired by pi-lens (MIT). See NOTICE.
给 DeepSeek Harness 用的实时代码反馈插件。分析引擎还是 pi-lens，这里是 dsh 宿主适配：写文件后跑 format / LSP / linter / 结构规则，并把 blocker 注回下一轮。
当前版本：dsh-lens@0.2.0。
dsh plugin --profile web add dsh-lens
Web profile 会装上会话标题旁的 lens 芯片和输入框上面的 dock（官方 Menu / Tooltip / StateDot）。/lens-widget-toggle 可隐藏。/lens-health、/lens-perf、/lens-tools 与上游报告对齐。
不要和 pi-lens-mcp 同时挂同一批 workspace，会双开语言服务器。
配置继续用 .pi-lens.json / ~/.pi-lens/config.json，也可以在 Cordis 条目里写 lsp / format / guard 等开关。