仓库静态检查
- 检查 Commit
4be7a12a187e- 证据分
- 78/100
- 静态风险
- 未发现静态风险
- 扫描文件
- 2
- 检查发现
- 0
证据分项
来源溯源25/25
安装文档25/25
维护状况12/20
兼容性证据6/20
安全信号10/10
兼容性置信度: 未知
检查发现 (0)
该 commit 未记录静态检查发现。
未执行的检查
- 依赖漏洞数据库扫描
- 实际安装测试
- 运行时行为验证
扫描器 1.0.0 · 评分器 1.0.0
dsh-petrinet
插件已确认插件社区发布yxie2/dsh-petrinet · 8 天前更新
安装方式
dsh plugin add @yxie2/petrinetdsh plugin --profile web add github:yxie2/dsh-petrinet仓库内包含的插件
- @yxie2/petrinetv0.1.0✓
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.
官方核心包 (10)
@deepseek-ai/cordis*共享@deepseek-ai/dsh-agent*共享@deepseek-ai/dsh-commands*共享@deepseek-ai/dsh-invariants*共享@deepseek-ai/dsh-llm*共享@deepseek-ai/dsh-session*共享@deepseek-ai/dsh-session-projection*共享@deepseek-ai/dsh-subagent*共享@deepseek-ai/dsh-system-prompt*共享@deepseek-ai/dsh-tools*共享
路径固定于提交 4be7a12a187e
概览
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.
仓库检查结果
结果绑定到所列 commit，仅涵盖本站实际执行的静态检查。证据分衡量可复核信息的完整度，不是兼容性百分比，也不构成安全保证。
未发现静态风险