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
747HTML2026-08-13
学习研究插件精选

dsh-Mimir-Academic-research

1692775560

Mimir — 一站式科研工作台插件：LaTeX 论文边写边编译、arXiv 文献管理、实验追踪、指标图表、GPU 服务器 SSH 任务编排，管理科研全周期。An open-source research workbench plugin for the whole research cycle.

arxivbibtex
213TypeScript2026-08-20