DeepSeek Harness插件市场
返回目录
学习研究插件新

math-lean

Fisfzy/math-lean

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

去 GitHub 查看

OVERVIEW

数据概览

Star
1
Fork
0
开放 Issue
0
最后推送
2026/08/13 15:24:43

PROJECT TOPICS

项目标签

dsh-plugindshxleanmathproof-verification
PROJECT README README展开收起

正在读取 GitHub README...

MORE IN CATEGORY

同类插件

浏览分类
学习研究新插件精选

dsh-handbook

Electricitysheep

DeepSeek Harness (dsh) 从 0 到 1 深度手册：安装/插件开发/性能调优/实测案例/同模型多 Agent 实测对比（中文 + 英文 PDF）

agentagent-framework
218Python2026-08-13
学习研究新插件

hello-dsh

pingfanfan

从零开始，看懂 DeepSeek Harness 的「万物皆可插件」— 零基础插件开发教程（含 22 个中文技能实例）| Zero-to-plugin tutorial for DeepSeek Harness

ai-agentchinese
44Python2026-08-14
学习研究新插件

dsh

Bin-hy

源码级拆解 DeepSeek Harness · 面向 Agent 开发者的中文学习资料

ai-agentscodis
102026-08-14