察元AI能力广场 · Harness 插件

dsh-tool-strict-check

Stars 1 · 作者 catsenior507

dsh 严格检查器：用 Lean4、编译器及安全规则验证代码与命令。

命令行 编程开发 安全

源码仓库

安装方式

dsh plugin --profile web add catsenior507/dsh-tool-strict-check

同类Harness 插件推荐

• dsh-origin-plugin — 通过MCP驱动Origin绘图并导出图形的插件
• dsh-purge — DSH破甲插件，允许为不同模型切换提示词实现越狱突破
• dsh-desktop — DeepSeek 插件生态的现代化桌面端
• dsh-waimai-discount — DSH插件，提供美团、饿了么等平台的官方无佣金外卖优惠券搜索助手。
• rea — rea 工具，利用代理逆向分析应用行为及二进制
• deepseek-harness — DeepSeek 插件化开发框架
• open-design — 开源的DeepSeek设计插件，支持本地运行及多格式文件导出
• archify — 生成可验证HTML架构图、工作流图等自包含可视化图表的Agent技能

浏览全部Harness 插件 · 返回察元AI首页