Plugin

Monitoraggio dell'utilizzo del piano OpenCode Go per DeepSeek Harness: quota in tempo reale su 5 ore scorrevoli / settimanale / mensile in un dock web flottante.

Consente a un agente DeepSeek Harness locale di utilizzare BailingHub per interrogare dati, aggiornare record ed eseguire azioni consentite in un negozio online, SaaS o altro sistema amministrativo.

Plugin crediti di DeepSeek Harness: passa secondo il modello attuale tra saldo ufficiale / utilizzo abbonamento OpenCode Go, stima della sessione corrente, consumo cumulato tra sessioni e impostazioni di visualizzazione.

Plugin di dominio per lo sviluppo Rust per DeepSeek Harness (dsh): piramide di verifica fmt→clippy→build+test→miri+audit(+semver) come strumenti rivolti al modello + governance a livello di grafo (8 regole anti-Goodhart, incl. densità di #[allow] / test eliminati, blind-spot tramite Cargo.toml e pub

Plugin di dominio per lo sviluppo del kernel Linux per DeepSeek Harness (dsh): piramide di verifica L1-L4 come strumenti rivolti al modello + governance a livello di grafo (anti-Goodhart / blind-spot / patch-conflict) + contratto AGENTS.md come sezione del prompt di sistema. JS puro, nessuna fase di build.

Plugin DeepSeek Harness per SCNet HPC: configurazione SSH, job Slurm CPU/DCU, probing del cluster, diagnostica dei nodi di calcolo e guida Hygon DCU/DTK.

Arcade di balene galleggiante e locale nel browser con tre giochi a punteggio e Gomoku a tema oceano per pause mentre si attende l'agente.

Gestore di plugin nel web per DeepSeek Harness: elenco plugin categorizzato, bundle predefiniti con cambio con un clic, importazione/esportazione e rollback automatico in caso di errore, e marketplace dei plugin con installazione con un clic.

Audit CVE/filiera di fornitura in tempo reale per le dipendenze del tuo progetto nello spazio di lavoro (npm/pip/go), basato su OSV.dev, con uno strumento cve_audit e ri-scansione automatica opzionale al cambio del lockfile.

Suite rigorosa di ricerca matematica open: quattro agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) per la dimostrazione di teoremi con audit avversariale, gestione del programma di ricerca, orchestrazione della pipeline e audit di formalizzazione Lean 4; test verificati in CI e sincronizzazione meccanica con upstream.

Toolkit vision per DeepSeek solo testo: strumento `vision` invocabile dal modello, adapter wrapper per deepseek/opencode-go (v4 flash/pro), quota Antigravity IDE (default, flash/pro) / qualsiasi VLM compatibile OpenAI / Gemini / canali locali Ollama, memoria delle evidenze con reidratazione da compattazione, cache dell’hash dei contenuti e un pannello client bilingue.

Strumenti di citazione per agenti: ricerca DOI esatta, ricerca bibliografica Crossref, formattazione GB/T 7714 / APA / MLA / Chicago, generazione BibTeX e validazione DOI a concorrenza limitata con self-check dello stato di salute.

Widget fluttuante che mostra l'utilizzo dell'abbonamento OpenCode Go in tempo reale (continuo/settimanale/mensile) per ogni chiave API, con avvisi di limite di velocità e scoperta automatica del pool di chiavi.

Pillola saldo OpenCode Go all'estremità destra della riga degli strumenti del compositore: quota residua continua/settimanale/mensile direttamente dall'endpoint di utilizzo Zen, con dettaglio al passaggio del mouse e colorazione di avviso/pericolo.

Adattatore provider Command Code Go per dsh: analizza dinamicamente il catalogo dei modelli del piano Go e serve /alpha/generate tramite l'interfaccia LLM dell'harness

Gate di verifica a calcolo reale: semplificazione matematica, dimostrazioni logiche, validazione con regex, FOL con E-prover, verifiche di macchine a stati e riparazione del codice, basati su binari compilati in Go con eseguibili Windows precompilati

Zero-token DuckDuckGo search provider for the DeepSeek Harness (DSH) web seam — local headless browser, no API key, no model billing

OpenCode gateway provider for DeepSeek Harness: the Zen pay-as-you-go plan and the Go subscription, with their settings UI

macOS desktop launcher with an installation skill: starts or reuses the local DeepSeek Harness web service and opens it in Google Chrome, with a transparent character and thought bubble icon.

Dependency tree summaries: npm / pip / cargo.

21 read-only lifecycle governance tools in one self-contained DSH plugin: task tiering, state/plan/evidence validation, gate precheck and aggregation, release/install audits, context and progress analysis, critical path, resume reconciliation, and a mutation preview that always denies execution. Installs from npm as @240xu/dsh-tech-lead.

Task monitor plus remote chat for DeepSeek Harness. Read sessions, background jobs, subagents, goal rounds, workflows and pending approvals from a phone-friendly page, and talk to any session from it: streamed replies, tool-call progress, stop at any time, switch sessions and models. Also ships a GUI sidebar panel.

Go (weiqi) review coach: parses SGF records, backfills winrate and score analysis with a bundled KataGo engine, explains the costly moves in the chat, and writes the commentary back into an SGF copy; a web panel shows the board with problem moves, AI choices and variations.