dsh-petrinet

Verified

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.

View on GitHub

Verified plugin

Depends on the Cordis runtime or ships a cordis.yml, so it loads as a real dsh plugin.

What we found in the repo

— depends on @deepseek-ai/cordis
— depends on @deepseek-ai/dsh-agent

Installing

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

npm install @yxie2/petrinet

# cordis.yml
plugins:
  petrinet:

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: 1
Forks: 0
Open issues: 0
Language: TypeScript
License: MIT
npm package: @yxie2/petrinet @ 0.1.0
Created: 2026-08-24
Last push: 2026-08-24

Topics

agent-frameworkai-agentsdeadlock-detectiondeepseek-harnessdsh-pluginllm-agentsmodel-checkingorchestrationpetri-netprocess-miningsoundnesstypescriptworkflow-engineworkflow-net

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