dsh-boolean

Boolean algebra toolbox for DeepSeek Harness (dsh): truth tables with minterm/maxterm summaries, canonical DNF/CNF, NNF, NAND-only/NOR-only gate networks, equivalence checking

Plugin

Verification

L2 · Structured

Risk

Pending

Health

Active

Trust

Bronze

What it does

Boolean algebra toolbox for DeepSeek Harness (dsh): truth tables with minterm/maxterm summaries, canonical DNF/CNF, NNF, NAND-only/NOR-only gate networks, equivalence checking

Installation

dsh plugin --profile web add github:TYEclipse/dsh-boolean

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 SCANNED9cfe80

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-09 · activity: Active

• Repo created: 2026-09-09

• Stars: ★ 0 · Forks: 0

• Health: Active — committed within last 30 days

Source

GitHub: github.com/TYEclipse/dsh-boolean

Plugin notes

What is the dsh-boolean DeepSeek Harness plugin?

dsh-boolean is a DeepSeek Harness plugin maintained by @TYEclipse. It is cataloged on dsh.so as a Developer plugin, with a public GitHub source, declared install command, and automated static security scan.

How do I install dsh-boolean?

Run dsh plugin --profile web add github:TYEclipse/dsh-boolean 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-09

dsh-boolean

What it does

Installation

Verification & Compatibility

Author badges

Security Report

Risk details

Activity

Source

Author README