플러그인

DeepSeek Harness 웹 GUI에서 에이전트 HTML 출력을 실제 UI로 렌더링하며, 시각적 카드, KaTeX 수식, Mermaid 다이어그램, 내장 오픈소스 폰트, 디자인 사양 주입 기능을 제공합니다.

수학 모델링 대회를 위한 다중 에이전트 워크플로우: "UltraMath" 프리셋이 문제 읽기부터 프레임워크, 도출, 코딩, 검증, 논문 작성, 리뷰까지 진행하며, 4개의 단일 단계 역할 프리셋(수학자, 엔지니어, 작가, 리뷰어)과 33개의 모델 라이브러리 스킬 문서를 제공합니다.

DSH용 다중 에이전트 수학 연구 프리셋 4종을 설치합니다. v2(다중 검증자 토론을 결합한 확률 기반 파이프라인), v3(플래너 에이전트와 재사용 가능한 방법 라이브러리를 갖춘 논문 형식 Markdown 지식 베이스), v4(서로 메시지를 보내고 회의하는 영구적 자기조직화 레지던트), v5(academician이 작업을 분해·할당하고 연구자들이 투표하며, 임시 작업자, 그룹 채팅, compare-and-set 태스크 보드를 갖춘 연구소)입니다. 네 가지 모두 체크포인트 재개, 사람의 개입, 선택적 Lean 형식 검증 스위치(off/encourage/require)를 지원하며, 증명이 통과하면 투표가 Lean 문장의 충실성 검사로 바뀝니다.

DeepSeek Harness용 게이트형 수학-모델링 스킬 모음: 5단계 파이프라인에 단계 게이트, 논문식 작성 패턴, 민감도 분석, 통계적 진단, 대회 프리셋을 포함.

안전한 수식 평가기로, 의존성 없는 재귀 하강 파서를 사용합니다.

RigorQuant 프리셋 + 스킬 팩: 실증 및 계산 수학(경제, 금융, 포트폴리오)을 위한 무인 격리형 멀티 에이전트 리서치, 4단계 구현 전 검사 배터리와 jacobian/Lean 에스컬레이션 경로 포함

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이 리포지토리 루트를 가리켜야 합니다. 모든 결과에는 출처 정보(엔진 버전, 시드, 허용 오차)가 포함되며 신뢰할 수 없는 데이터로 표시됩니다.

DSH 에이전트용 금융 데이터 툴킷: 숫자 및 통화 서식 지정(중국어 wan/yi 단위 포함), 수익률 및 CAGR 계산, 가치 평가 및 수익성 비율, PV/FV, 리스크 지표, 데이터 품질 체크리스트.

MathWorks MATLAB/Simulink MCP 서버를 dsh 프로필에 등록하여, 에이전트 세션이 MATLAB 코드 실행 및 Simulink 모델 읽기, 편집, 테스트를 위한 mcp__matlab__* 도구를 얻도록 합니다.

Markdown, 표, 차트, 중국 성(省) 지도, 순서도, 수식, 드릴다운 테이블로부터 독립 실행형 인터랙티브 HTML 리포트를 생성하는 DeepSeek Harness(dsh) 플러그인입니다.

규칙 기반 날짜 계산(둘째 주 토요일, 첫째 주 일요일 등)과 카운트다운으로 64개 중국 시험(가오카오/대학원 입시/영어4·6급/CPA/사법시험 등) 조회

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

실제 연산 검증 게이트: 수식 단순화, 논리 증명, 정규식 검증, E-prover FOL, 상태 머신 검사, 코드 복구, Go로 컴파일된 바이너리 기반(미리 빌드된 Windows 실행 파일 포함)

Bridges a local MATLAB MCP server into DSH: evaluate MATLAB code, run .m scripts and tests, and inspect installed toolboxes via mcp__matlab__* tools. Requires MATLAB and the MathWorks MATLAB MCP Server binary, and a path edit after install — the plugin on its own registers no tools.

Competition math (IMO/Putnam/USAMO/AIME) solved with a pure-reasoning pass, an adversarial verifier in a fresh subagent context, and calibrated confidence output (high / medium / honest "no confident solution"); optional LaTeX-to-PDF rendering.

deepseek harness manim 수학 플러그인

Three tools for DeepSeek Harness: typeset LaTeX formulas into images, draw mathematical figures from a declarative spec, and convert a formula or SVG into an image ready to embed in a document.

NumPy/SciPy 科学计算工具 — 以 DSH Cordis 插件形式集成，模型通过 math_compute 工具发起任意 NumPy/SciPy 运算

Danus-native DSH plugin suite: verifier-gated mathematical proof-search orchestration (fact graph, role-gated tools, cold-start verifier, worker swarm, orchestration tools, heartbeats).

Local-life toolkit for DSH agents: budget planning, bill splitting, unit-price and discount math, common unit conversions (jin/li/chi, C/F, L/gallon), and trip checklists.

순수 날짜 계산 기반의 반복 습관 스케줄링: 다음 발생 시점, 기간별 일정, 지연 시 안내