dsh-tool-strict-check
catsenior507/dsh-tool-strict-check · catsenior507
Strict checker for dsh: verify code and commands with real checkers - Lean 4 kernel checking, language compilers, and harness-shell hazard rules.
项目资料
基本信息
- Star
- 0
- 派生
- 0
- 语言
- JavaScript
- 许可证
- MIT
- 创建时间
- 2026-09-10
- 最近更新
- 2026-09-10
同一分类
还可以看看
开发与自动化 · 插件deepseek-harnessdeepseek-aiDeepSeek Harness: Everything is a Plugin.
开发与自动化 · 插件webnovel-writerlingfengQAQ基于 Claude Code 的长篇网文辅助创作系统，解决 AI 写作中的「遗忘」和「幻觉」问题，支持 200 万字量级 连载创作。
开发与自动化 · 插件deepwiki-rssopacoTurn code into clarity. Generate accurate technical docs and AI-ready context in minutes—perfectly structured for human teams and intelligent agents.