DSH插件商店

dsh-reddit-radar

reddapidev

A dsh plugin that periodically scans reddapi.dev for new Reddit leads matching your one-sentence ICP, dedupes what you've already seen, and writes a dated markdown report. Also forwards 6 read-only Reddit search/lookup MCP tools.

multisim-mcp

yxy050208

Unofficial MCP server for AI-driven NI Multisim circuit generation, simulation, data export, and reports

math-rigor

bauerelizabeth07139

Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server (23 tools), a bundled workflow skill, and the /prove and /audit-proof commands. proven / refuted / inconclusive are never conflated, and unproven steps are reported, not hidden.