Плагины

Исследовательский рабочий процесс «Открытие, управляемое вопросами» для DeepSeek Harness с пресетом агента QDD, устойчивыми ручными и автоматическими запусками и аудируемой панелью исследований.

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.