dsh-whale-subagent
@1while1
A whale-girl themed subagent nest for the DeepSeek Harness, featuring pixel-animated subagent cards, real-time THINK/TODO tracking, and a model-selectable subagentex tool.
math-lean
1 stars
About
dsh-lean-prover: Lean kernel-verified math reasoning plugin (DSH Cordis)
Description collected from the plugin's own repository or package metadata.
Topics
dshxleanmathproof-verification
Similar plugins
dsh-media-skills
@akqwpeter-prog
Paste images directly into the chat box: free vision model, paste-image reading and generation skills. Paste images straight into the chat box: free vision model, paste-image reading and generation skills for DeepSeek Harness.
dsh-rag-kb
@AlowEnsoul
DeepSeek Harness local RAG knowledge base plugin: local document chunking, vectorization, and semantic retrieval, running entirely locally (Ollama + pure frontend/host side). A local-first RAG knowledge base plugin for DeepSeek Harness.