dsh-danus

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).

PluginAI ModelsDeveloperKnowledgeMemoryFileWeb search

Verification

L2 · Structured

Risk

Low

Health

Active

Trust

Silver

What it doesAI

Verifier-gated multi-agent mathematical proof-search orchestration with content-addressed fact graph and report rendering.

Content-addressed fact graph for proof state
Role-gated tools and cold-start verifier
Worker swarm and paper/report rendering

AI-generated from the repo README — for reference only.

Installation

dsh plugin --profile web add github:Fisfzy/dsh-danus

Install method: GitHub · no verification record (L1-L5)

Compatibility

DSH Version	Status
not stated	no verification record

Requirements

• Node.js: not stated
• DSH: not stated
• External credentials: none detected

Security Report

Automated static scan, not manual review.

DSH.SO VETPASSEDa96612

Security reviewAutomated review · daily

PASSED

Vet static analysis found no suspicious behavior — verdict is clean.

0 critical·0 high·0 medium·100 score

Version binding

plugin version0.1.0dsh manifest

scanned commita966127a74d12026-08-25

latest commita966127a74d1

vet verdictclean · gitscore 100

Vet is an AST static scan (npm artifact or git source).

Disclaimer: automated static analysis, not a security guarantee. Always review what you install.

Risk details

No critical or warning findings.

Activity

Last commit 2026-08-24 · activity: Active

• Repo created: 2026-08-25

• Stars: ★ 0 · Forks: 0

• Health: Active — committed within last 30 days

Source

GitHub: github.com/Fisfzy/dsh-danus

Plugin notes

What is the dsh-danus DeepSeek Harness plugin?

dsh-danus is a DeepSeek Harness plugin maintained by @Fisfzy. It is cataloged on dsh.so as a AI Models plugin for Memory tasks, with a public GitHub source, declared install command, and automated static security scan.

How do I install dsh-danus?

Run dsh plugin --profile web add github:Fisfzy/dsh-danus in a DeepSeek Harness (dsh) environment. The command is parsed from the plugin manifest, but it has not yet been tested in an isolated sandbox at the L3+ level.

Is the security scan on this page a manual audit?

No. The scan is an automated heuristic review of the repository source and can produce false positives. It is not a manual security audit and never an endorsement; review the repository and installed permissions before using the plugin.

"DeepSeek Harness (dsh) is an open-source agent harness developed by DeepSeek AI. It uses an architecture where everything is a plugin, and is powered by Cordis."
— DeepSeek Harness README

Sources: GitHub repository · DeepSeek Harness README · security scan data · Maintained by dsh.so · Last updated 2026-08-25