플러그인

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

Multi-agent math problem-solving & verification framework: brainstorm → solver iteration → multi-verifier debate → Verified knowledge base, with checkpoint resume and manual/auto intervention (also ships as an agent preset).

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

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

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

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

Finance data toolkit for DSH agents: number and currency formatting (incl. Chinese wan/yi units), return and CAGR math, valuation and profitability ratios, PV/FV, risk metrics, and a data-quality checklist.

deepseek harness manim 수학 플러그인

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.

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.

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