开发工具
技能
Embedded C/C++ AI engineering plugin — firmware skills (FreeRTOS, Keil, HardFault, state machines) + 1% Rule / Plan Verification Gate discipline | 嵌入式 C/C++ 工程 AI 插件:固件技能与 agent 纪律。 For Claude Code, Codex, Cursor, Kimi, OpenCode, ZCode and DeepSeek Harness (dsh)
agent-plugin
agent-skills
c-cpp
claude-code
开发工具
完整应用
Edit a DeepSeek Harness (dsh) custom mode: system prompt, base mode, and plugin switches.
agent
agent-preset
ai-agent
assistant
开发工具
技能
AI 编程助手声明核查插件:状态机、协议、数据模型与并发声称的可执行逻辑原语验证(代价、概率、期限、组合、UML 审查、前后回归、导出),含 dsh 原生工具与 Agent Skills。 | Claim verification for AI coding agents — executable logic-primitive checks for state machines, data models and concurrency: cost, probability, deadlines, composition, UML review, before/after regression, export. Native dsh tools + Agent Skills.
agent-plugin
agent-skills
ai-agents
claude-code
开发工具
插件
Structured git tools for DeepSeek Harness agents: status, diff, log, branch, commit and stash - pinned output, no shell involved, approval-gated writes.
agent-tools
commit
cordis
deepseek