플러그인

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

의존성 없는 상태 기계 파서로 CSV(RFC 4180)를 파싱/쿼리/집계/변환합니다.

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

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.