xsoc1/math-research-dsh

math-research-dsh

Name: math-research-dsh
Author: xsoc1

BundleWorkflow0 GitHub stars

DSH adaptation of the math-research Codex plugin marketplace: rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify as DeepSeek Harness skills.

Install

npx @deepseek-ai/dsh plugin --profile web add github:xsoc1/math-research-dsh

Restart `dsh web` after install. Bundle APIs can change during the developer preview.

README badge

$math-research-dsh DSH Hub badge$

[![DSH Hub](https://dshhub.dev/badge/math-research-dsh.svg)](https://dshhub.dev/plugins/math-research-dsh)

Paste this into your README. The star count updates with every catalog sync.

GitHub Install guide

Related plugins

omdsh-dev/dsh-at-file

dsh-at-file

Search files with @ in the composer and attach contents.

BundleWorkflow

20 stars

Moeblack/dsh-message-edit

Message Edit

Edit history, reroll, and a version timeline.

ToolWorkflow

41 stars+16

omdsh-dev/dsh-plugin-check

plugin-check

Read-only scan of plugin manifests and patch conventions.

ToolWorkflow

27 stars+4