← Back to list

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 已…

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

Meta

License
MIT
Language
Python
GitHub stars
2
mo. downloads
–
Last push
2026-09-09
Created
2026-08-14

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 ↗