플러그인

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