Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
Models
DeepSeek Harness Plugins.
Find DeepSeek Harness model plugins for adapters, routing, fallback strategies and inference providers. Evaluate compatibility and source information before following the publisher link.
Code intelligence for agents: find the code that matters and keep your context window and tokens lean.
Code verification protocol for vibe coding — every claim must have a verifiable practice anchor.
给 DeepSeek 等纯文本大模型外挂图像理解能力的实现无感添加视觉能力。提供 OpenAI 兼容的 API,自动将图片请求交给视觉模型分析,再将结构化结果注入文本模型,使增强后的模型体验接近原生多模态。
DSH plugin exposing MineRU document parsing tools to the model
DeepSeek Harness plugin: make the model write its chain-of-thought in your language
dsh plugin: configure reasoning-effort levels (wire spellings), route default level and Anthropic token budgets for third-party models from the settings page; selection reuses the native model-picker Effort panel.
Low-token, low-latency Windows computer-use MCP with learned shortcuts, UIA/CDP/OCR routing, and DeepSeek Harness support
Use local Codex App Server as a model provider in DeepSeek Harness
IntentFlow — Comment-Driven Development Framework 注释驱动开发框架:以 @intent 注释为契约的 AI 辅助开发工作流(需求/设计/执行/报告四阶段 + 状态机自动流转),提供 pi 扩展、MCP Server、CLI 三种形态
A community-built DeepSeek Harness plugin.
Context undo/redo plugin for DeepSeek Harness (dsh): roll the model context back to the last completed step and restore it again.
Nowledge Mem community plugin bundle for DeepSeek Harness
Advisor - Pair a second model that passively reviews each turn and injects notes. 搭配一个会在每轮对话被动注入见解和审查的副模型。
DeepSeek Harness telemetry backend that exports turns, model steps, and tool calls to yiTrace over HTTP.
Zotero 文献采集入库插件(DSH external plugin):多源检索(OpenAlex/arXiv/Crossref/Europe PMC/Semantic Scholar)+ OA 下载链接解析(Unpaywall)+ 充分性审计 + 入库本地 Zotero + 触发 zotero-wave-rag 重建
Hosted free vision sidecar for DeepSeek Harness with durable session evidence
dsh plugin bridging the vercel-labs/skills ecosystem: LLM-driven skill search, install, and lifecycle for temp/project/global scopes.
Action-State Memory Engine: typed time-series memory (states + actions) with trend/anomaly/causal analysis for DeepSeek Harness
DSH plugin: structured test runner tool (test_run) — auto-detect vitest/jest/pytest/node:test, run tests, parse failure summaries for the model.
Replace dsh's built-in web search with search MCP servers (Tavily/Brave/Exa/Perplexity/DuckDuckGo/custom), configured from the web Settings page. Disables the built-in DeepSeek search provider while enabled.
DeepSeek Harness (dsh web) plugin: opencode.ai 5h/week/month quota usage progress in the session header, frosted-glass detail panel, model-channel filtering.
External vision model tool for DeepSeek Harness — inspect_image sends images to any OpenAI-compatible endpoint (GPT-4o, Qwen-VL, GLM-4V, Ollama...).
DSH 插件玩具箱 —— 构建链:TypeScript 源码(plugins/<id>/src/*.mts)→ 单文件 MCP 服务器产物(.dsh-plugin/server/*.mjs)
An dsh plugin for role-based LLM retry&fallback strategy. 基于角色的模型重试备用策略插件
RemoteOps 是一个面向远程系统维护和嵌入式 Linux 开发的 MCP 工具。
面向 Zotero 论文库的浪潮式 RAG 细节检索系统 —— DSH 外部插件。移植 VCPToolBox 浪潮语义动力学思想(标签河道图传播/虫洞跳转/钟型阻尼/Ω重排),配 BM25+RRF 混合检索、claim-evidence 忠实度校验、两级增量索引