Pinned Loading

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

   设计与代码的建模与自动化审查：把断言抽成可执行模型再判定——UML、状态机与协议、数据模型与迁移、并发断言路由、结构审查、外部检查器导出、报告对比。dsh 原生插件。 | Modeling and automated review for designs and code — claims as executable models: UML, state machines and proto…

   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 21 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