开发工具
技能
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
开发工具
技能
DSH(DeepSeek Harness)插件:以 git 仓库为 agent 插件市场,安装并原地加载 Codex/Claude 格式的技能
agent-skills
claude
codex
cordis
开发工具
技能
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
开发工具
技能
agent工厂 让多个agent协同 deepseek harness插件
codex-cli
codex-skills
dedeepseek
dsh-plugin