deepseek-harness-forge-plugins
A DeepSeek Harness bundle containing four Cordis tool plugins for computation, TCM retrieval, memory recall, and evidence auditing.
Install
No clear install command was found in the current repository evidence.
Plugin 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
- Symbolic math, formal logic, regex matching, theorem proving, state-machine checking, and code-repair suggestions through forge-gates
- TCM pattern diagnosis and herb-pair retrieval through forge-tcm
- BM25 memory recall plus folded-memory listing, preview, and deep reading through forge-memory
- Audits completion-style claims that lack tool-execution evidence through evidence-first
- Provides source build instructions for gate binaries and includes Windows binaries in releases/bundles
Useful For
- Add computational and formal-reasoning tools to a DeepSeek Harness agent
- Check regexes, logical implications, TPTP problems, or state-machine properties
- Search user-provided memory files for relevant prior experience
- Retrieve from a user-provided TCM formula corpus
- Flag unsupported done, success, or fixed claims in an agent workflow
Who It Fits
- DeepSeek Harness users configuring Cordis agent presets
- Developers needing subprocess-backed computation tools
- Users maintaining their own memory or TCM formula data
Documented Limitations
- TCM herb-pair retrieval requires a user-supplied formula_db.json corpus; the referenced private corpus is not distributed.
- Memory tools require user-provided memory files, although empty templates are provided.
- Linux and macOS users must build gate binaries from src/go; Windows binaries are described as prebuilt.
- The bundle is documented for dsh version 0.1.0-rc.5 or later.
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 4 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
- jinguanghai/deepseek-harness-forge-plugins
- Registry source
- GitHub · dsh-plugin topic
- Registry classification
- Plugin Bundle
- Source checked
- ad4e2dd · 2026-09-18
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
- 2GitHub stars
- Forks
- 0
- Open issues
- 0
- Last commit
- 2026-08-21
- Last release
- 2026-08-14
Related DSH Plugins
Ranked by overlapping capabilities, use cases, plugin type, categories, and DSH profile.
DeepSeek Harness research bundle for industry maps, public-source tracking, company cards, and traceable reports.
View plugin →DSH undo and crash-recovery plugin with snapshots, rollback, Safe Mode, and offline Windows tools.
View plugin →Vision routing and pixel-level visual tool suite for DeepSeek Harness agents with built-in free fallbacks.
View plugin →Local, fast cross-agent memory and session indexing system with DeepSeek Harness integration.
View plugin →