math-research-dsh

DeepSeek Harness Skills Low risk

Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.

严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。

How to install

DeepSeek Harness dsh plugin add github:xsoc1/math-research-dsh

About

math-research-dsh English: README_EN.md math-research Codex 插件市场的 DSH (DeepSeek Harness) 适配版: 4 个 Codex 插件 (rigorous-open-math-research / manage-math-research-program / math-research-workflow / lean-verify) 以原生 DSH skill 形式发布, 脚本与模板随 bundle 分发. 背景与现状上游是 Codex marketplace 仓库, 只能以 Codex 打包格式安装 (plugin.json / openai.yaml / marketplace.json / cachebuster), DSH 无法直接消费. 本仓库把每个插件转为一个 DSH skill bundle (目录 + SKILL.md frontmatter), 内容与上游保持同步. 当前状态 (2026-08-16): 4 个 skill 全部适配完毕; 本机已通过 install.ps1 以 junction 安装到 $DSH_HOME/skills; 安装后 DSH 会话技能目录即时可见 (watcher 跟随 junction); 仓库校验与 11 个冒烟全绿; GitHub Actions 已…

GitHub ↗

Recommendation signals

45 Tool quality · Based on stars, downloads, maintenance, security and docs

– User interest · Adjusted by in-site views, install copies and download clicks

45 Overall

0views

0unique visitors

0install copies

0download clicks

0outbound clicks

Links

GitHub ↗ Report issue ↗

Basic safety check

Findings: curated 收录但无 npm 包/安装命令
Sources: curated:awesome-dsh-plugin.com, curated:awesome-dsh-plugin/awesome-dsh-plugin
Topics: dsh-plugin

Related plugins

Claude Code

Score92

superpowers

obra/superpowers

An agentic skills framework & software development methodology that works.

☆ 291.2K ↓ 1.5K Skills ↗

Claude CodeMCP Server

Score89

rulesync

dyoshikawa/rulesync

A Utility CLI for AI Coding Agents

☆ 1.5K ↓ 914.9K Skills ↗

Claude Code

Score83

dev-browser

SawyerHood/dev-browser

A Claude Skill to give your agent the ability to use a web browser

☆ 6.6K ↓ 14.2K Skills ↗

Claude CodeDeepSeek HarnessCodexMCP Server

Score80

ruflo

ruvnet/claude-flow

🌊 The original agent harness. Deploy intelligent multi-player swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning intelligence, federation, vector RAG integration, and native Claude Code / Codex / Hermes and many more Integrated

☆ 73.2K ↓ 77.2K Skills ↗