DeepSeek Harness 插件Manifest 有效

embedded-workbench

面向 DeepSeek Harness 的嵌入式 C/C++ 固件工程技能包，集成 FreeRTOS、HardFault 分析、Keil 构建与计划验证门禁。

UI 与效率开发者工具安全与策略Skills 与工作流远程执行

14GitHub Stars2Fork 数更新于2026-10-11

源码

安装

$ dsh plugin --profile web add dsh-embedded-workbench

插件能力与用途

基于公开仓库快照由 AI 辅助整理，内容必须有源码依据；它不等同于兼容性验证或安全验证。

源码有据

嵌入式工作台（Embedded Workbench）是一个原生 DeepSeek Harness 插件 Bundle，专注于嵌入式 C/C++ 固件工程开发。该包注册了涵盖 FreeRTOS、中断机制、Keil MDK (AC5/AC6) 构建、Cortex-M HardFault 异常分类与有限状态机设计的 Agent Skills，并在模型首轮交互中注入精简的计划核查门禁（Plan Verification Gate）与上下文预算约束。

核心能力

提供针对 FreeRTOS、中断路径、NVM 存储与 LVGL 的嵌入式固件开发技能
基于寄存器、栈帧与 PC 指针进行 Cortex-M HardFault 故障分类与源码定位
支持 Keil MDK（ARM Compiler 5/6）UV4 命令行构建诊断与 .map 映射文件分析
指导状态机模型、转换门控、重试超时处理与 C/C++ 内存布局实践
在 DSH 会话首轮自动注入计划验证门禁（Plan Verification Gate）与上下文预算规则
内置针对代码库路径、符号与机制可行性的事实核查（fact-check）回退能力

适用场景

调试 ARM Cortex-M 异常崩溃并在源码中定位 HardFault 根因
设计高可靠性 FreeRTOS 任务调度、定时器与非阻塞状态机架构
分析 Keil MDK 编译诊断日志与链接映射文件内存段占用
在生成或重构固件代码前，严格核实工程计划与实际代码库事实

适合谁

嵌入式 C/C++ 固件与驱动开发工程师
基于 FreeRTOS 和 ARM Cortex-M 架构的物联网与微控制器开发者
注重代码可靠性与计划事实核查的嵌入式系统架构师

文档中可确认的限制

DSH Web 端实时切换 Gate 注入开关依赖 DSH >= 0.1.7-alpha.1
未移植第三方 Harness 的 4 个自定义子代理，而是直接依赖 DSH 原生 subagent 工具
高阶模型行为验证需配合外部独立插件 logicprobe，未安装时降级使用内置 fact-check 技能

DSH 兼容性

DSH Plugin 针对具体版本记录的运行验证证据。没有结果只代表我们尚未测试，不代表不兼容。

尚未测试目前还没有发布运行兼容性测试结果。

安全信号

来自包元数据和源码检查的客观信号。这些信息用于辅助判断，不代表绝对安全保证。

依赖数量

package.json 声明了 0 个运行依赖、12 个开发依赖、6 个 Peer 依赖和 0 个可选依赖。

信息

已声明 DSH Bundle

package.json 中声明了 DSH Bundle 元数据。

信息

已声明许可证

GitHub 报告该仓库许可证为 MIT。

信息

已获取 package.json

已获取仓库根目录 package.json，可用于 Registry 元数据检查。

信息

源码可用

本次 Registry 快照已获取公开 GitHub 源码元数据。

信息

来源与 Registry 记录

展示此条目的公开来源、Registry 分类与最近一次源码检查信息，并与运行验证结果明确分开。

源码仓库: AmethystLuna/embedded-workbench
Registry 来源: GitHub · dsh-plugin topic
Registry 分类: Plugin Bundle
源码检查: 0058d72 · 2026-10-11

本页面基于公开源码信息独立收录。DSH Plugin 与 DeepSeek 及插件作者均无隶属关系；安装前请始终以作者仓库中的最新说明为准。

仓库活跃度

GitHub Stars: 14GitHub stars
Fork 数: 2
未关闭 Issue: 2
最近提交: 2026-10-11
最近发布: 未发现 Release