플러그인

세션별 GeoGebra 캔버스입니다. 그리기·장면 읽기·텍스트 배치 확인·애니메이션 캡처 도구 20개, 수학 스킬 55개와 오프라인 자산을 제공합니다.

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

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

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