vericontext-enforcer
Installation
SKILL.md
Contains Hooks
This skill uses Claude hooks which can execute code automatically in response to events. Review carefully before installing.
Phase 1 — 참조 대상 식별 (Detect & Plan)
문서를 작성하거나 수정하기 전에, 참조할 코드와 구조를 먼저 식별한다.
1.1 참조 유형 분류
| 참조 유형 | VeriContext 도구 | 토큰 형식 |
|---|---|---|
| 코드 라인 범위 | vctx_cite (라인 범위 지정) |
[[vctx:<path>#L<start>-L<end>@<hash8>]] |
| 파일 언급 (역할, 코드, 존재) | vctx_cite (전체 파일: L1~마지막 줄) |
[[vctx:<path>#L1-L<last>@<hash8>]] |
| 디렉토리 존재 여부 | vctx_claim --kind exists-dir |
[[vctx-exists-dir:<path>/]] |
| 파일/디렉토리 부재 확인 | vctx_claim --kind missing |
[[vctx-missing:<path>]] |
파일을 언급하면 반드시 해시한다. 파일의 역할, 코드, 존재 여부 — 어떤 수준이든 파일을 언급하면
vctx_cite로 전체 파일을 해시한다.exists-fileclaim은 사용하지 않는다.