DSHarness
All plugins

math-lean

Likely

by Fisfzy · Other Plugins

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

View on GitHub

Likely plugin

Follows the dsh package or skill conventions, but we found no direct runtime dependency.

What we found in the repo

  • — npm package dsh-lean-prover

Installing

No published npm package was found. Clone the repository and follow its README to build from source.

Repository details

Stars
1
Forks
0
Open issues
0
Language
TypeScript
License
None declared
Created
2026-08-13
Last push
2026-08-13

Topics

dsh-plugindshxleanmathproof-verification

More in Other Plugins

DSH-better-sidebar

Verified

omdsh-dev

一个侧边栏的完整工作台，支持三方拓展注册新Tab页面，内置文件渲染编辑/终端/Git/子代理

119TypeScriptupdated today

dsh-agent-teams

Verified

NanmiCoder

AgentTeams plugin for DeepSeek Harness

67TypeScriptupdated today

dsh-openpencil

Verified

ZSeven-W

OpenPencil design preview and editing plugin for DSH

33TypeScriptupdated today

dsh-at-file

Verified

omdsh-dev

Codex-style @file mentions for DeepSeek Harness: search workspace files in the composer and attach their contents to prompts.

25JavaScriptupdated today

dsh-turn-rewind

Verified

Anionex

deepseek harness对话回退插件 | DSH — rewind conversation and workspace state, powered by a persistent Change Ledger

22JavaScriptupdated today

ui-status-label

Verified

alingalingling

把你鲸鱼娘思考时的 deep diving 自定义成任意你想要的样子

21TypeScriptupdated today