플러그인

DeepSeek Harness 번들로 제공되는 ARIS 연구 워크플로 스킬: 82개 스킬과 Codex를 통한 크로스 모델 적대적 검토.

DeepSeek Harness용 질문 주도 발견 연구 워크플로: QDD 에이전트 프리셋, 영구적인 수동 및 자동 실행, 감사 가능한 연구 패널을 제공합니다.

AI-for-Science research workflow skill for DeepSeek Harness, aimed at researchers and grad students using agentic AI: multi-angle literature review with per-angle files, experiment design with a caveat list, figures and paper reading; each job returns files plus a cross-verification brief for a second model. Zero deps, MIT.

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.