Plugins

Auditable mathematical proving for DeepSeek Harness: a local stdio MCP server with 23 machine-checking tools, a bundled workflow skill, and the /prove and /audit-proof commands. proven, refuted and inconclusive are never conflated, and unproven steps are reported instead of hidden. Needs Python 3.10+ with pip install -r requirements.txt on first run; the 23 tools are unavailable until then.

Merges AprilCrystal/dsh-client-ui-gpt-helper and zszz3/dsh-model-provider-prefix — two composer model-seat plugins that cannot be installed together — into one control: a Provider / Model trigger opening a two-column card where hovering the provider column swaps the models without moving the card, a separate reasoning-effort trigger with a particle slider, and a search that spans every provider while the card keeps its size.