math-research-dsh
A DeepSeek Harness skill bundle for mathematical research, workflow continuity, and Lean verification.
Install
$ dsh plugin --profile web add github:xsoc1/math-research-dshPlugin Overview & Capabilities
AI-assisted organization based on the public repository snapshot. The content must be grounded in source evidence and does not replace compatibility or security verification.
Key Capabilities
- Bundles four distinct research skills via Cordis patch and ctx.skills.register
- Manages mathematical literature reviews and annotatable tool lifecycles
- Supports session state continuity, task packet handoffs, and interruption recovery
- Guides formal proof discovery and counterexample exploration
- Performs Lean verification with target checks and reproducible execution scripts
Useful For
- Conducting structured, long-term mathematical research sessions in DeepSeek Harness
- Managing project blueprints, lemma indexes, and literature references
- Automating Lean formal verification and build checks during proof workflows
Who It Fits
- Mathematical researchers and theorem proving practitioners using DeepSeek Harness
- Formal verification engineers working with Lean 4
- AI agent orchestrators requiring structured mathematical research continuity
Documented Limitations
- Requires a compatible DeepSeek Harness environment (dsh >=0.1.7-rc.2) and Node.js runtime
- Real Lean compilation verification requires external Lean toolchains (LEAN_VERIFY_REAL_LEAN/Lake)
- Certain benchmark evidence (such as Q9) is not bundled and will skip without parent raw files
DSH Compatibility
Version-specific runtime evidence collected by DSH Plugin. A missing result means we have not tested that combination yet.
Security Signals
Objective signals discovered from package metadata and source inspection. These are not a guarantee that a plugin is safe.
package.json declares 0 runtime, 0 development, 0 peer, and 0 optional dependencies.
package.json declares DSH bundle metadata.
GitHub reports the repository license as MIT.
A root package.json was captured and can be inspected by the registry.
Public GitHub source metadata is available for this registry snapshot.
Source & Registry Notes
Public provenance, Registry classification, and the latest source check for this entry, kept separate from runtime verification.
- Source repository
- xsoc1/math-research-dsh
- Registry source
- GitHub · dsh-plugin topic
- Registry classification
- Plugin Bundle
- Source checked
- 2ddaa45 · 2026-10-26
This project is independently indexed from public source information. DSH Plugin is not affiliated with DeepSeek or the plugin author. Always check the author repository before installation.
Repository Activity
- GitHub stars
- 3GitHub stars
- Forks
- 0
- Open issues
- 0
- Last commit
- 2026-10-19
- Last release
- No release detected
Related DSH Plugins
Ranked by overlapping capabilities, use cases, plugin type, categories, and DSH profile.
Agent skill for DeepSeek Harness that turns ideas, plans, and codebases into interactive architecture diagrams.
View plugin →Native SQLite-backed task management and project board bundle with Web UI and Agent workflow tools for DeepSeek Harness.
View plugin →LLM-supervised persistent memory and graph-based recall integration bundle for DeepSeek Harness.
View plugin →Local cross-agent memory and session history recall integration for DeepSeek Harness.
View plugin →