DSH / BUNDLE / BUNDLES

lean4-harness-plugin

v0.1.1Cosmicwanderer1 / lean4-harness-plugin59a021ac96

InstallableBundlesBundles & other modulesCommunity · Topic auto-analysis

Open on GitHub

Overview Installing Source Related by capability

Overview

lean4-harness-plugin

Lean 4 service and Harness tools for deepseek-harness.

README / EN

Package documentation

Registry summary

Lean 4 service and Harness tools for deepseek-harness.

dsh.pub verifies the pinned bundle contract, runtime facts, and distribution semantics. The complete README remains in the source repository.

Read the full README on GitHub

Install

Install from GitHub

The CLI validates the bundle, invokes native DSH, then reports completion.

$npx dshpub add Cosmicwanderer1/lean4-harness-plugin --ref 59a021ac96380c6715e05351abcfafecaad08455

—CLI-reported installs

Completed installs reported by the dshpub CLI. This is not unique users, repository downloads, or native DSH installs.

Source

Version: 0.1.1
License: MIT
Type: Bundles
Capability: Bundles
Source scope: Community · Topic auto-analysis
Commit: 59a021ac96
Path: .

Open on GitHub

Same capability topic

Related by capability

Ranked by shared capability topic, runtime face, tools or UI contributions, and distribution mode. This is not a similarity, quality, or compatibility ranking.

dsh-plugin-desktopOpens the DeepSeek Harness Web UI in a native desktop window instead of a browser tab.Bundles & other modules · Installable
@knyazevai/dsh-providerDeepSeek Harness provider bundle for the KnyazevAI APIBundles & other modules · Installable
dsh-win-notifyDSH (DeepSeek Harness) host plugin for Windows: real OS-level toasts that persist in Notification Center — 任务完成 / 需要您的输入 / 需要您的审批. Windows-only (WinRT Toast API via a self-built .NET helper EXE).Bundles & other modules · Installable
l123-harnessL1-L2-L3 three-tier memory agent harness: gate approval, zero-judgement event log, weekly distillation, TDD execution loop. Claude Code plugin and DeepSeek Harness (dsh) bundle.Bundles & other modules · Installable
dsh-visionVision Bridge plugin for the DeepSeek Harness: routes attached images to a vision-capable model (default xiaomi/mimo-v2-omni) and feeds the text description back to text-only routed models such as DeepSeek.Bundles & other modules · Installable
@lalilulelo3/dsh-notifyDeepSeek Harness plugin: Windows desktop notifications + sound when an agent turn finishes or the harness is waiting for you.Bundles & other modules · Installable

Bundles & other modules How installable plugins work Registry concepts