verify

github:jongwony/epistemic-protocols · first committed 2026-01-03 · source · badge

This skill should be used when the user asks to "verify protocols", "check consistency before commit", "validate definitions", "run pre-commit checks", "verify soundness", or wants to ensure epistemic protocol quality. Invoke explicitly with /verify for pre-commit validation.

Skill Health: not yet scored

Listed, not yet scored. This skill has no public model test yet. It is in the scoring queue; submitted skills go first, then the most-installed.

Version history

37 commits to this file on GitHub (newest first).

2026-10-14 · commit 426da72 · fix(verify): Issues Found 예시의 상태기계 전체성 항목을 사람의 끝냄과 무관한 중립 예시로 바꾼다 (ROO-160)
2026-10-14 · commit 70eced0 · fix(protocols): /preview `.seam` 의 활성화하지 않은 갈래에 내놓을 것을 주고, 그만둠이 기록을 낳는 듯한 README 순서와 사라진 전이를 가리키는 /verify 예시를 고친다 (ROO-160)
2026-10-04 · commit 2323a31 · feat(hyphegesis): /conduct 를 지도와 실행 전체를 판단으로 시작하고, 사람은 큰 방향과 맡기는 권한만 쥐며, 방법을 싣고 갈 것과 함께 넘기고 멈추도록 재도출한다 (ROO-125) (#1014)
2026-09-27 · commit e0beb7a · docs(verify): 정적 검사의 자리를 Static verification boundary 에 적고, criteria.md 를 채널 · 심각도 두 축으로 다시 세운다 (ROO-75)
2026-09-27 · commit 063aad2 · refactor(verify): static-checks.js 를 층별 파일로 나누고 오케스트레이터로 남긴다 (ROO-75)
2026-09-25 · commit d1471a9 · refactor(epistemic-cooperative): /frame 을 유틸리티로도 남기지 않고 은퇴시킨다 (ROO-55)
2026-09-25 · commit 27d5e91 · refactor(prothesis): /frame 을 core 에서 빼고 epistemic-cooperative 유틸리티로 옮긴다 (ROO-55)
2026-09-24 · commit 22464b7 · feat(horismos): /bound 를 융합 컨텍스트 위 구조적 재귀로 다시 세우고 형식 블록을 Lean 4 로 옮긴다 (ROO-53, ROO-67)
2026-09-05 · commit c589c6a · refactor(epistemic-cooperative): catalog 스킬을 퇴역시킨다 — 사람의 브라우즈 뷰는 README 가, 에이전트의 목록은 route 가 든다
2026-09-04 · commit 37d8b94 · refactor(repo): 숨김 디렉터리에 남은 /gap 잔재를 걷고 은퇴 co-change 행을 세운다
2026-08-12 · commit 1f50d34 · refactor(repo): docs/ 4건을 독자가 있는 자리로 옮긴다
2026-08-12 · commit 60cc3ea · refactor(repo): docs/ 상태 단언 절단과 표면 권위 순서 인각
2026-08-07 · commit 61a6b9d · fix(protocols): 그래프 제거가 남긴 죽은 상호참조 정리
2026-07-03 · commit 8823b0a · feat(verify): 컴파일 사본 집행 체크 2종 추가(formal-blocks-rule·gate-integrity-rule), 리뷰 프롬프트 단일 소스화
2026-07-01 · commit 37e908e · feat(verify): routing-index-contract 검사 추가 — 제거한 미러 강제의 경량 후속
2026-07-01 · commit e47b652 · fix(verify): review-loop R5 — verify/SKILL.md cross-ref 설명 정확화
2026-06-13 · commit c70e050 · fix(verify): PR #535 리뷰 대응 — F5 계약 sync 검사 강화 + 문서 등록
2026-06-01 · commit 1da8ffd · fix(verify): framing-readout-enforcement 체크를 검증 인벤토리 문서에 등재
2026-05-12 · commit a65074e · feat: Round-local salience bundling 인스크립션 — emit-discipline 3-원 패밀리 완성
2026-05-11 · commit e327426 · refactor: hermeneia, telos 프로토콜 deprecated 잔존물 제거
2026-05-07 · commit c2a9bb3 · refactor(skills): style-audit을 결정론적 verify 검사와 시맨틱 스킬 3종으로 분리
2026-05-03 · commit 2b68616 · feat(verify): morphism-anatomy 정적 체크 추가 (#327)
2026-04-16 · commit 0de6490 · feat(verify): runtime contract boundary 확립 — artifact-self-containment static check 도입
2026-04-14 · commit 5b88bb3 · refactor: reflexion 플러그인 제거 + write를 epistemic-cooperative로 이동
2026-04-04 · commit 1b3612e · refactor(protocols): 8-label → 7-label MECE 어휘 재설계 — Analogia 검증 기반
2026-03-20 · commit d129272 · feat(*): Path A' — AskUserQuestion을 도구 독립적 Gate 추상화로 전환
2026-03-02 · commit cff1678 · feat(verify): drift-audit static checks 추가 — spec-vs-impl, cross-ref-scan, graph-integrity 강화
2026-02-21 · commit b8e8de9 · refactor(prothesis): 스킬명 /mission → /frame 변경 (v5.0.0)
2026-02-12 · commit 43cb3d5 · feat(verify): add version-staleness check to static-checks
2026-02-11 · commit c619986 · feat: alias-first 스킬 디렉토리 — 시스템 수준 /mission, /gap, /clarify, /grasp, /goal 매칭
2026-02-07 · commit 98a1f09 · refactor: replace Rumsfeld quadrant model with typed deficit→resolution signatures
2026-01-17 · commit 5f7da78 · feat(verify): add tool-grounding static check with multi-pattern matching
2026-01-14 · commit a957ece · refactor(verify): consolidate 5 perspectives into 3
2026-01-14 · commit 7599764 · feat(verify): add notation complexity and type constraint necessity checks
2026-01-14 · commit d1bd023 · refactor: improve type definitions and system prompt analysis
2026-01-13 · commit f12997d · feat(hermeneia): add intent-expression clarification protocol
2026-01-03 · commit 3c768e5 · feat: Add verify skill for protocol consistency validation

Archived snapshots