dsh-tool-strict-check

Strict checker for dsh: verify code and commands with real checkers - Lean 4 kernel checking, language compilers, and harness-shell hazard rules.

PluginDeveloperTerminalTerminal / Shell

Verification

L2 · Structured

Risk

Pending

Health

Active

Trust

Bronze

What it does

Strict checker for dsh: verify code and commands with real checkers - Lean 4 kernel checking, language compilers, and harness-shell hazard rules.

Installation

dsh plugin --profile web add github:catsenior507/dsh-tool-strict-check

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

Verification & Compatibility

No verification record yet for this plugin.

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

Author badges

Embed the official badges in your README to showcase security & install-test status:

Security Report

Automated static scan, not manual review.

DSH.SO AUDITNOT SCANNED095bb5

Security reviewAutomated review · daily

NOT SCANNED

No security scan record for this plugin yet. Newly indexed plugins are scanned by the daily pipeline.

0 critical·0 warning·0 info·— files scanned

Version binding

plugin version—

scanned version—

current versionv0.1.0

The scan result is valid for the scanned commit. New commits within 7 days are tolerated (the rating still counts); after 7 days without a rescan the badge shows outdated.

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

Risk details

• Static heuristic scan: pending

• Dependency vulnerabilities: —

• Hardcoded secrets: —

• Supply chain risks: —

⚠ Static scan not run yet — results will appear here.

Activity

Last commit 2026-09-10 · activity: Active

• Repo created: 2026-09-10

• Stars: ★ 0 · Forks: 0

• Health: Active — committed within last 30 days

Source

GitHub: github.com/catsenior507/dsh-tool-strict-check

Plugin notes

What is the dsh-tool-strict-check DeepSeek Harness plugin?

dsh-tool-strict-check is a DeepSeek Harness plugin maintained by @catsenior507. It is cataloged on dsh.so as a Developer plugin for Terminal / Shell tasks, with a public GitHub source, declared install command, and automated static security scan.

How do I install dsh-tool-strict-check?

Run dsh plugin --profile web add github:catsenior507/dsh-tool-strict-check 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.

How does the security scan relate to a manual audit?

The scan is automated static analysis of the repository source — a scalable first line of defense that can produce false positives and miss context; it is not a manual security audit. Before using a plugin, review the repository and installed permissions, and combine the scan with the verification level (L4/L5) and health signals.

"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-09-10