菜单
한국어 자연어 추론을 표준 논리 좌표계로 정규화하는 모드 컨버터. '이고 없애기' / 'conjunction elimination' / '∧E' 어느 표현으로 들어와도 같은 ID로 묶고, 한자말 + 기호로 응답. 자연어 논증을 [주장/전제/결론/형식화/사용 규칙/숨은 가정/평가] frame으로 구조화. Use when 사용자가 한국어로 논증을 펼치거나, 타당성/오류/추론 규칙/양상 논리 검토를 요청하거나, 한말 어휘(이고 없애기, 차근차근 이끌기 등)를 쓸 때.
默认使用会先检查来源的 Prompt；你也可以切换为直接命令，或下载本地副本。
决定是否安装前，请先阅读 SKILL.md，以及 SkillsMP 当前展示的配套文件。
基于 SOC 职业分类
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/junghan0611/agent-config --skill logickocli命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 SkillsMP 当前能够提供的文件。
正在显示 SKILL.md
| 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 절 참조.
agent-config 루트의 대문자 하네스 벤치(HERMES / OMP / OUROBOROS / HERDR / PRIME / YEGGE) 상태를 보고, 리서치 뒤 그 문서를 갱신한다. 채택이 아니다. 스킬 주입·라이브 setup 금지. 트리거: '하네스 리서치', 'HERMES', 'OMP.md', 'OUROBOROS', 'HERDR', 'PRIME', 'prime-agent', 'YEGGE', '벤치', '대문자 문서', 'harness bench', 'harness research'.
에이전트가 GLG에게 텔레그램 DM 한 줄을 보낸다. 긴 작업 도중 알릴 것이 생겼을 때, 사람이 터미널 앞에 없어도 닿는 유일한 경로. 양식은 'DM <기기> <리포> <하네스/모델>' + 본문. 트리거: 'dm', 'DM 보내', '텔레그램으로 알려', '나한테 알려줘', '끝나면 알려', 'notify me', 'ping me'.
지금 어느 형제가 어디서 무엇을 하는 중인지 한 장으로 세우고, 다음 한 수(살아있는 형제에게 보낼지 · 잠든 형제를 같은 id로 되세울지 · 새 형제를 열지)를 고를 재료를 주는 판단 도우미. `situation`이 meta-record(사실)와 transcript(추정)를 같은 평면에 올리고, `peek`이 한 세션 안을 들여다본다. 실행은 하지 않는다 — 부르는 것은 entwurf_v2 / entwurf_resume_call / entwurf_fresh_call이고, 무엇을 부를지는 GLG가 정한다. placement(tmux server/window/pane) 사실의 출처가 아니다. 트리거: '누가 뭐 하고 있지', '분신 현황', '지금 살아있는 형제', 'situation', 'entwurf-peek', '누구한테 맡길까', '다시 부를까', 'peek session', '분신 추적'.