Plugins
Parcourez, filtrez et installez des plugins DeepSeek-Harness.
2 plugins trouvés
B
qdd
billychen123/qdd
Flux de travail de recherche par Découverte Guidée par Questions pour DeepSeek Harness avec un Préréglage d'Agent QDD, des exécutions Manuelles et Automatiques durables, et un panneau de recherche auditable.
5il y a 16 heuresFlux et automatisationApache-2.0
X
math-research-dsh
xsoc1/math-research-dsh
Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.
0hierCompétencesMIT