dsh-petrinet

Workflow-net runtime for DeepSeek Harness: resource-aware concurrency, native loops and fan-out, static soundness checking before a plan becomes durable, and process mining over its own event log.

PluginAutomation

Verification

L2 · Structured

Security

Low

Health

Active

Trust

Silver

What it does

Workflow-net runtime for DeepSeek Harness: resource-aware concurrency, native loops and fan-out, static soundness checking before a plan becomes durable, and process mining over its own event log.

Installation

dsh plugin --profile web add github:yxie2/dsh-petrinet

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 VETPASSED66526c

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 commit66526c27796a2026-08-24

latest commit66526c27796a

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-24

• Stars: ★ 0 · Forks: 0

• Health: Active — committed within last 30 days

Source

GitHub: github.com/yxie2/dsh-petrinet

Plugin notes

What is the dsh-petrinet DeepSeek Harness plugin?

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

How do I install dsh-petrinet?

Run dsh plugin --profile web add github:yxie2/dsh-petrinet in a DeepSeek Harness (dsh) environment. The command is parsed from the plugin manifest, but it has not yet been tested in an isolated container 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-24