菜单
한국어 자연어 추론을 표준 논리 좌표계로 정규화하는 모드 컨버터. '이고 없애기' / 'conjunction elimination' / '∧E' 어느 표현으로 들어와도 같은 ID로 묶고, 한자말 + 기호로 응답. 자연어 논증을 [주장/전제/결론/형식화/사용 규칙/숨은 가정/평가] frame으로 구조화. Use when 사용자가 한국어로 논증을 펼치거나, 타당성/오류/추론 규칙/양상 논리 검토를 요청하거나, 한말 어휘(이고 없애기, 차근차근 이끌기 등)를 쓸 때.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Use tmux instead of bash tool to run commands that take more than ~30 seconds, like bulk operations, db migrations, dev servers.
Google Workspace + Search Console all-in-one CLI (gog). Calendar, Gmail, Drive, Tasks, Chat, Contacts, Sheets, Docs, Search Console, YouTube, Photos, Meet, and more. Single binary. Source: steipete/gogcli (upstream).
GLG의 시간축 관측소 (범용 스킬) — 어느 세션·리포에서든 GLG의 하루를 깊이 0/1/2/3(시간블록·저널헤딩·에이전트스탬프·커밋/노트)으로 한 KST 축 위에 세운다. scripts/collect.py로 LOCAL FULL(events.jsonl, 로컬·gitignore)을 만들고 query.py로 꺼낸다. 스크립트는 HOME 앵커(~/repos·~/org·lifetract·agenda)라 CWD와 무관하게 돈다. 이 스킬을 읽지 않고 축을 건드리면 계약을 다시 도출하다 틀린다 — 고정 KST, 반개방 [from,to), 자정은 시작일 귀속, 0건은 ok가 아니다, sqlite를 직접 열지 않는다, 코멘트는 어떤 projection에도 나가지 않는다. Triggers: timeline, 관측소, 시간축, 깊이 0, depth axis, collect.py, query.py, events.jsonl, LOCAL FULL, 하루 slice, 주간 판독, 도메인 분포, projection, 표현, 증거, provenance, 커밋 수, 저널 일수, 사실 확인.
Incrementally embed sessions only — near-live. On call, new sessions land in semantic-memory immediately. OpenRouter Qwen3-Embedding-8B 4096d, paid remote but ~$0.000–0.001 for a few recent sessions. dim 4096 preflight → API-0 exit when to_index=0. Use before a new session or when recent-session recall feels stale. '/memory-sync', 'memory sync', 'session embedding', '세션 임베딩', '세션 증분', '기억 최신화'.
Semantic search over past sessions (pi + Claude Code) and the public digital garden md index (andenken md.lance, OpenRouter Qwen3-Embedding-8B 4096d). Uses LanceDB + hybrid retrieval (vector + FTS with score normalization). Korean↔English cross-lingual via dictcli expand. Recall tracking for memory consolidation. Use when searching for past conversations, decisions, context, or garden knowledge concepts.
Emacs daemon — org manipulation, denote notes, citar bibliography, org-agenda, arbitrary elisp. Two sockets: server (agent work), user (show file to user). Core: agent-denote-add-history(ID,CONTENT), agent-denote-add-heading(ID,TITLE,BODY) or (ID,TITLE,TAG,BODY) — no tag? body as 3rd arg. Never pass nil. agent-denote-add-link(ID,TARGET-ID,DESC). All 3 args required.
| name | logickocli |
| description | 한국어 자연어 추론을 표준 논리 좌표계로 정규화하는 모드 컨버터. '이고 없애기' / 'conjunction elimination' / '∧E' 어느 표현으로 들어와도 같은 ID로 묶고, 한자말 + 기호로 응답. 자연어 논증을 [주장/전제/결론/형식화/사용 규칙/숨은 가정/평가] frame으로 구조화. Use when 사용자가 한국어로 논증을 펼치거나, 타당성/오류/추론 규칙/양상 논리 검토를 요청하거나, 한말 어휘(이고 없애기, 차근차근 이끌기 등)를 쓸 때. |
이 SKILL.md 는 진입점이다. 본문 — 발동 신호 / 정규화 정책 / 응답 frame / 어휘 데이터 명세 — 은 logickocli 리포의 references/skill-contract.md 에 있다.
~/repos/gh/logickocli/
| 파일 | 역할 |
|---|---|
references/skill-contract.md | 모드 계약 본문 — 발동 신호, 정규화 정책, 응답 frame 5개 모드, 한계 |
vocab/core.yaml | 표준 논리 어휘 (PROP/PRED/META/SEM/LEX/RULE 도메인, 123개) |
vocab/fallacies.yaml | 형식·비형식 오류 카탈로그 (24개) |
vocab/SCHEMA.md | 필드 명세 + alias 충돌 정책 + 입력 인식 우선순위 |
references/inference-rules.md | 자연연역 + 술어 + 치환규칙 카드 |
references/modal-systems.md | K/T/S4/S5/GL cheat sheet |
references/argument-frame.md | default / proof / debate / modal / probability 모드 frame |
scripts/check_vocab.py | vocab 자가 검증 |
다음 중 하나라도 등장하면 references/skill-contract.md 의 frame 으로 응답한다.
[주장] 결론 명제
[전제] P1, P2, ...
[결론] C
[형식화] 변수 할당 + 기호 표기 (A → B, A ⊢ B 등)
[사용 규칙] vocab ID (예: PROP.MODUS_PONENS / 전건긍정 / modus ponens / MP)
[숨은 가정]
[평가] 형식적 타당성 + 건전성 + 비형식 오류 후보
다섯 변형 모드(proof / debate / modal / probability) 와 세부 출력 명세는 ~/repos/gh/logickocli/references/argument-frame.md.
vocab/core.yaml + vocab/fallacies.yaml 을 통해 canonical ID 로 정규화references/skill-contract.md 와 references/argument-frame.md 의 frame 적용vocab 자가 검증은 리포 안에서 직접 돌린다:
cd ~/repos/gh/logickocli && python3 scripts/check_vocab.py
# entries: core=123, fallacies=24, total unique IDs=147
# intended alias collisions: 5 (모두 화이트리스트)
# unexpected: 0 → exit 0
vocab/SCHEMA.md 의 입력 인식 우선순위 / alias 충돌 분류 정책을 따른다.
한말 어휘를 응답에 안 쓰는 건 어휘 가치 평가가 아니라 LLM 호환성 선택이다. 김명석 『두뇌보완계획100』 계열 한국어 토착화 작업, 학계 표준 한자말, Coq/Lean 한국어 자료 등은 각자의 결로 가치 있는 작업이며, 이 도구는 범용 LLM 에이전트와 한국어 사용자 사이 좌표계 정렬 이라는 좁은 목표에 정렬했을 뿐이다.
상세 톤 가이드는 logickocli 리포의 AGENTS.md 와 vocab/SCHEMA.md § native_aliases / note 절 참조.