플러그인

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

DeepSeek Harness용 시각적 라운드테이블 회의입니다. 원형에 배치된 전문가 노드와 방향성 엣지, 집계 게이트웨이, 블랙박스 worker 모델을 위한 proxy thinking, 그리고 관점별 endorse/reject가 가능한 확정된 계획에 대한 적대적 검토(red-team)를 제공합니다.

적대적 점검 → 수정 → 검토 루프를 위한 도구 모음입니다.

적대적 점검 → 수정 → 검토 루프입니다.

에이전트 모드로서의 딥 리서치: 모델이 호출마다 다시 작성하는 스크립트 대신, 계획을 세우고, 연구자 자신이 선언한 격차에 의해 구동되는 적응형 병렬 라운드로 조사하며, 인용된 보고서를 종합한 다음 적대적으로 검토하는 하나의 검토된 루프. 라운드 예산에 도달하지 못한 질문은 삭제되지 않고 보고서에 명시됩니다.

다중 렌즈 구조 분석 스킬: 4개 범주에 걸친 16개 렌즈로 adversarial-first 분석을 수행하고, 10개의 구조 분석 도구, 신뢰도 보정, 사실에 근거한 계층형 출력을 제공합니다.

DeepSeek Harness용 Math Agent Framework: 기호 도출 엔진(CES / 이차형식 / ODE / PDE), SymPy 검증, Lean 4 컴파일러 검증 형식 증명, QED 스타일 다중 에이전트 적대적 검증을 제공하며, Python 엔진을 연결하는 TS 셸을 통해 네이티브 DSH 도구로 노출됩니다. math-agent-framework 리포지토리를 클론하고 `pip install -r requirements.txt`를 실행해야 하며, MATH_AGENT_HOME이 리포지토리 루트를 가리켜야 합니다. 모든 결과에는 출처 정보(엔진 버전, 시드, 허용 오차)가 포함되며 신뢰할 수 없는 데이터로 표시됩니다.

순수 추론 패스, 새로운 서브에이전트 컨텍스트의 적대적 검증자, 보정된 신뢰도 출력(high / medium / 정직한 "no confident solution")을 통해 해결하는 수학 경시 대회(IMO/Putnam/USAMO/AIME); 선택적 LaTeX-to-PDF 렌더링.

엄밀한 오픈 수학 연구 스위트. 정리 증명을 위해 적대적 감사, 연구 프로그램 관리, 파이프라인 오케스트레이션, Lean 4 형식화 감사를 맡는 4개의 agent skills(rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify)을 제공하며, CI 검증 테스트와 기계적 upstream 동기화를 포함한다.

정·반·봉인 논쟁을 실행하며, 판정은 에이전트의 서술이 아니라 실제 명령 종료 코드와 케이스 수로 계산됩니다.

공식 토론을 구성하여 어려운 질문에 답합니다: 두 적대적 서브에이전트가 연구와 함께 반대 측을 주장하고, 그 다음 메인 에이전트가 debate_open, debate_round, debate_verdict 도구를 통해 회의록을 판결합니다.

HarmonyOS delivery orchestration for DSH: freezes a four-dimension acceptance pack whose measurable criteria carry machine-checkable assertions, runs an adversarial pre-review before dispatch, hands the work to DevEco Code in Goal mode, then audits the delivery with independently gathered evidence (screenshots, UI tree, logs, hashed evidence bundle), recomputing assertion verdicts against measured values and filing rework orders; includes a cited rule catalog, a user-confirmation state and a gate calibration ledger.

DeepSeek Harness용 적대적 검토입니다. 확정된 계획 하나를 대상으로 관점별 읽기 전용 red-team 전문가를 실행하고 발견 사항을 개별 결함으로 나눠 하나씩 승인하거나 거부합니다. 계획을 다시 쓰거나 코드를 수정하지 않습니다.

모든 플랜에 대한 명령 트리거 적대적 검토(quant 전용 아님). /plan-adversarial <plan>: 두 개의 독립적인 서브에이전트(red=공격, blue=방어)를 파생시키고, th 없이 합의 플랜에 수렴하도록 요구하는 게이트를 활성화

도구 호출에 대한 적대적 검토 게이트입니다. tools/pre-execute에 연결해 파괴적 명령(rm -rf, git push --force, git reset --hard, DROP TABLE, format, 디스크 쓰기)과 민감 경로(.env, id_rsa, .ssh, .git/, $DSH_HOME)를 로컬 regex로 지연 없이 먼저 검사합니다. 일치할 때만 검토 model을 한 번 호출해 allow 또는 deny를 반환합니다. 일반 읽기와 쓰기는 이 경로에 들어가지 않아 일상 작업에 지연이 추가되지 않습니다. 모든 판정은 Web GUI에 실시간 표시됩니다.

적대적 코드 리뷰입니다. 정확성, 수명주기, 계약, 보안의 독립 관점 finder가 diff를 병렬 검사하고, 각 발견 사항을 별도 verifier가 반박합니다. 반박되면 해당 발견은 제외됩니다.

다중 관점 적대적 코드 리뷰입니다. 정확성/보안/유지보수성 관점이 diff를 검토하고 심각도를 결정론적으로 평가합니다. 억제 규칙과 증분 리뷰 기록도 제공합니다.