开发工具插件

dsh-tool-strict-check

catsenior507/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.

查看仓库

Stars: 1
Forks: 0
Issues: 0
更新: 21 天前

PROJECT TOPICS

项目标签

cordis cordis-plugin deepseek deepseek-harness dsh dsh-plugin formal-verification kernel-check lean4 plugin static-analysis strict-check type-check

VALIDATION LADDER

验证进度

已验证

01市场发现已通过

02归类识别已通过

03结构检查已通过

04实机验证已通过

Commit: 095bb5968521
DSH: 0.1.0-rc.6
平台: linux-x64
验证时间: 2026/09/11 02:34

PROJECT README README展开收起

正在读取 GitHub README...

CLASSIFICATION EVIDENCE

分类依据

项目类型插件

功能分类开发工具

规则置信度高

系统优先读取 GitHub Topics，再与站内分类词典和词根规则比对。当前命中：package.json:dsh.bundle.patch、cordis.patch.yml:parsed、repository-name:dsh-tool-strict-check、cordis.patch.yml、development、data、security。

INSTALL REFERENCE

安装参考

已验证

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

在 DSH 中安装

该命令已通过安装计划安全校验，可由 DSH host 执行；验证状态仍不等同安全审计或官方背书。

dsh-tool-strict-check

项目标签

验证进度

分类依据

安装参考

同类项目

dsh-pentest

whale-girl

dsh-echocat-skill-panel