Pinned Loading

1. dsh-model-everything dsh-model-everything Public

   建模审查 + 架构可视化：断言抽成可执行模型再判定，也从 Mermaid / PlantUML 源码直接画图——嵌套分组、折叠、结构预算、包含关系对比。UML、状态机、数据模型、并发路由、依赖审查、报告对比。dsh 原生插件。 | Modeling review + architecture visualisation: executable models from claims, and …

   JavaScript

2. embedded-workbench embedded-workbench Public

   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…

   JavaScript 25 2

3. kohya-dataset-tagger kohya-dataset-tagger Public

   kohya 风格训练集的数据集标注器：编辑 caption、tag 过滤、WD14 批量打标、生成 dataset.toml · Dataset tagger for kohya-style training sets: edit captions, filter tags, batch WD14 tagging, dataset.toml · kohya 形式の学習セット向けデータセットタ…

   Python

4. logicprobe logicprobe Public

   设计与代码的声称核验：事实类对照源码，行为类跑可执行模型；含结构/依赖审查（单层与多粒度细化）、UML 审查、基线对比与导出。dsh 原生工具 + 多平台 Agent Skills。 | Claim, architecture and behaviour verification for designs and code — facts against the source, behavio…

   JavaScript 5