Plugins

Installs four multi-agent math-research presets for DSH: v2 (probability-driven pipeline with multi-verifier debate), v3 (paper-style Markdown knowledge base with a planner agent and a reusable method library), v4 (persistent self-organizing residents that message and meet), and v5 (a research institute with an academician who decomposes and assigns work, voting researchers, temp workers, group chat and a compare-and-set task board); all four support checkpoint resume, human intervention, and an optional Lean formal-verification switch (off/encourage/require) whose passing proof turns the vote into a fidelity check of the Lean statements.

Self-organizing multi-agent clusters with no orchestrator. Real DSH subagents coordinate through a shared append-only log that each agent reads and writes on its own schedule, with no topology and one dispatch per agent; a snapshot mode is also included where the harness freezes each neighbour view into the prompt and drives a ring/mesh/swarm cluster to convergence.

Self-organizing AI second brain for Obsidian, as a single DeepSeek Harness plugin. Merged fork of dsh-plugin-wiki-skills + dsh-plugin-wiki-tools, targeting parity with claude-obsidian.