플러그인

설계 문서와 계획을 코드베이스 사실과 대조하는 주장 검증 스킬. 행위 관련 주장은 상태 머신과 데이터 모델을 위한 실행 가능한 로직 프리미티브 검증으로 에스컬레이션하며, 전후 회귀, 도메인 제약, 동시성 리스크 마이닝을 제공합니다.

채팅 세션을 편집 가능한 마인드맵으로 바꾸는 DSH Web 플러그인. Markdown, Mermaid, PlantUML, XMind 텍스트, TODO 내보내기를 지원합니다.

Turns what a design, plan or document claims into a model and decides it: UML diagrams rendered, read and reviewed; state machines, protocols and data models checked as models; migrations tested for coverage and rollback symmetry; concurrency claims mined and routed to the checker that can decide them; dependency graphs audited; reports diffed.