dsh-danus

Likely

Verifier-gated multi-agent mathematical proof-search orchestration, native to DeepSeek Harness: content-addressed fact graph, role-gated tools, cold-start verifier, worker swarm, paper/report rendering. TypeScript, cross-platform. Based on Danus (frenzymath).

View on GitHub

Likely plugin

Follows the dsh package or skill conventions, but we found no direct runtime dependency.

What we found in the repo

— npm package dsh-danus

Installing

Install the package, then register it in your cordis.yml:

npm install dsh-danus

# cordis.yml
plugins:
  dsh-danus:

Plugin keys and config options vary — check the repo's README before copying this in. dsh is in developer preview and its loader format is still changing.

Before you install

A listing here is not a security audit. The tier above records whether this repo is wired as a real dsh plugin — not whether it is safe to run. A plugin executes with your agent's permissions: your files, your shell, your network. How to vet a dsh plugin before installing

Found malware or an impersonation in this repo? Report this listing

Repository details

Stars: 0
Forks: 0
Open issues: 0
Language: TypeScript
License: Apache-2.0
npm package: dsh-danus @ 0.1.0
Created: 2026-08-23
Last push: 2026-08-26

Topics

dsh-plugin

More in Skills & Agents

cherry-studio

Verified

CherryHQ

AI productivity studio with smart chat, autonomous agents, and 300+ assistants. Unified access to frontier LLMs

51,327TypeScriptupdated today

dsh-routing-suite

Verified

yjh051108

dsh-routing-suite — injector + router-standard kit: install the runtime injector first, then the task-aware reasoning-mode router preset (measured P1-P23).

7,013JavaScriptupdated 3d ago

dsh-desktop

Verified

dataelement

DSHDesktop：DeepSeek Harness Desktop / DeepSeek Harness 桌面版

3,654TypeScriptupdated today

DSH-better-sidebar

Verified

omdsh-dev

开放的侧边栏底座，支持三方拓展注册新侧边栏页面。内置文件渲染编辑/终端/侧边对话/Git/子代理页面｜ Open sidebar foundation, supports third-party extensions to register new sidebar pages. Built-in file rendering/editing, terminal, side chat, Git, and sub-agent pages.

3,199TypeScriptupdated today

dsh-TUI

Verified

ccch1mneyyy

DSH 官方公众号收录的 TUI 补位插件：Claude Code 风，鲸鱼顶栏/实时状态/流式思考/双击 Esc 回滚/上下文进度+TPS。npm 一键装。 DSH official WeChat featured TUI plugin — Claude Code style: whale bar, live status, streaming thoughts, double-Esc rollback, context bar + TPS. npm one-click.

2,758TypeScriptupdated today

Aegis

Verified

GanyuanRan

Make AI coding agents architecture-aware: baseline-first, evidence-verified, drift-checked, and safe across long tasks.

1,157Pythonupdated yesterday