GITHUB TOPIC

dshx

2 个项目包含此标签

2 个项目

GitHub Topic 精确匹配

插件

dsh-creator-mode-plus

aa2246740

Fail-closed Creator Mode+ bridge for DeepSeek Harness, supervised externally by DSHX.

1JavaScript2026-08-20

学习研究插件

Fisfzy

dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)

1TypeScript2026-08-13