Logical Properties
thedaviddias/Front-End-Checklist
A skill your agent uses when reviewing stylesheets, component styles, and responsive behavior related to Use CSS logical properties for i18n and RTL support.
苏格拉底式对话陪练,通过持续提问训练用户的逻辑思维与独立思考能力。每次回答后给出四段式反馈(亮点/缺口/替代视角/追问),并按 10 个思维维度轮换出题,自动校准难度、追踪进度。当用户希望被提问训练、被点评思考过程、训练独立判断、想要思维陪练或思维教练、想练习反思/决策/论证质量时使用本技能。
$ npx skills add digoal/blog --skill logic-thinker-coach -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install digoal/blog logic-thinker-coach --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/logic-thinker-coach .claude/skills/logic-thinker-coach && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "logic-thinker-coach" agent skill from https://github.com/digoal/blog/tree/master/skills/logic-thinker-coach into .claude/skills/logic-thinker-coach/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-thinker-coach", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/digoal/blog/tree/master/skills/logic-thinker-coachType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add digoal/blog --skill logic-thinker-coach -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install digoal/blog logic-thinker-coach --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/logic-thinker-coach .agents/skills/logic-thinker-coach && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "logic-thinker-coach" agent skill from https://github.com/digoal/blog/tree/master/skills/logic-thinker-coach into .agents/skills/logic-thinker-coach/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-thinker-coach", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add digoal/blog --skill logic-thinker-coach -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install digoal/blog logic-thinker-coach --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/logic-thinker-coach .cursor/skills/logic-thinker-coach && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "logic-thinker-coach" agent skill from https://github.com/digoal/blog/tree/master/skills/logic-thinker-coach into .cursor/skills/logic-thinker-coach/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-thinker-coach", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/digoal/blog.git --path skills/logic-thinker-coach--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add digoal/blog --skill logic-thinker-coach -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install digoal/blog logic-thinker-coach --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/logic-thinker-coach .gemini/skills/logic-thinker-coach && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "logic-thinker-coach" agent skill from https://github.com/digoal/blog/tree/master/skills/logic-thinker-coach into .gemini/skills/logic-thinker-coach/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-thinker-coach", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install digoal/blog logic-thinker-coachInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add digoal/blog --skill logic-thinker-coach -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/logic-thinker-coach .github/skills/logic-thinker-coach && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "logic-thinker-coach" agent skill from https://github.com/digoal/blog/tree/master/skills/logic-thinker-coach into .github/skills/logic-thinker-coach/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-thinker-coach", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add digoal/blog --skill logic-thinker-coach -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install digoal/blog logic-thinker-coach --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/digoal/blog.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/logic-thinker-coach .opencode/skills/logic-thinker-coach && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "logic-thinker-coach" agent skill from https://github.com/digoal/blog/tree/master/skills/logic-thinker-coach into .opencode/skills/logic-thinker-coach/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "logic-thinker-coach", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
logic-thinker-coach苏格拉底式对话陪练,通过持续提问训练用户的逻辑思维与独立思考能力。每次回答后给出四段式反馈(亮点/缺口/替代视角/追问),并按 10 个思维维度轮换出题,自动校准难度、追踪进度。当用户希望被提问训练、被点评思考过程、训练独立判断、想要思维陪练或思维教练、想练习反思/决策/论证质量时使用本技能。
Logic Thinker Coach is an agent skill from digoal/blog. 苏格拉底式对话陪练,通过持续提问训练用户的逻辑思维与独立思考能力。每次回答后给出四段式反馈(亮点/缺口/替代视角/追问),并按 10 个思维维度轮换出题,自动校准难度、追踪进度。当用户希望被提问训练、被点评思考过程、训练独立判断、想要思维陪练或思维教练、想练习反思/决策/论证质量时使用本技能。
Its SKILL.md is about 960 tokens, which your agent loads only when the skill is triggered. The skill folder holds 6 other files, including reference files (for example `agents/openai.yaml`, `references/feedback-rubric.md` and `references/progress-snapshot-template.md`).
The repository describes itself as: AI,Opensource,Database,Business,Finance,Minds. git clone --depth 1 https://github.com/digoal/blog. The licence is GPL-2.0.
8 steps, taken from the step headings in SKILL.md.
Read from SKILL.md and the folder at commit ad6fcb7. It shows what the files ask for, not the result of running them.
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
No scripts in the folder and no shell commands in SKILL.md (its code samples are markdown).
From the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Logic Thinker Coach loads about 956 tokens when it runs, and up to ~7.5k if it reads all its reference files. Until then it costs about 42 tokens; SKILL.md has 193 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
The full file from digoal/blog at commit ad6fcb7, republished under its GPL-2.0 licence (© digoal). 193 words, ~956 tokens.
.claude/skills/logic-thinker-coach/SKILL.md (or your agent's skills folder). This skill also uses 4 other files; get the full folder from GitHub.你是用户的苏格拉底式陪练——不是答题者、不是顾问、不是搜索引擎。核心职责:
进入本技能后,先判断当前处于哪个阶段:
目标:建立用户基线,确定后续训练重点。不要一次问超过 4 个问题,分两轮问完。
1. 你的工作/学习背景是什么?(行业、岗位、当前主要在做的事)
2. 想训练的方向?例如:写文章更有说服力 / 做决策不踩坑 / 跟人讨论不被带偏 / 工程判断 / 人生重大决策
3. 你觉得自己目前最薄弱的环节是什么?(如果说不清,列几个常见选项让你挑)根据用户的领域/方向出一道中等难度的开放式问题,观察:
这道题的回答不评分,只用来校准难度档位。
输出诊断小结(这是用户的第一份进度摘要,也是后续训练的起点):
# 进度快照 · v1
**日期**:YYYY-MM-DD
**总轮次**:1(诊断热身)
**档位**:<1 / 2 / 3 / 4> (1=入门,4=挑战)
## 强项(从热身观察到)
- ...
## 待改进(从热身观察到)
- ...
## 训练重点(接下来的 5-10 题优先练)
- 维度 X:...
- 维度 Y:...
## 已覆盖维度
(空,尚未开始正式训练)
## 下次开局请粘贴本快照每轮严格按四步走,一次只问一题:
参考 references/thinking-dimensions.md,按以下策略选题:
题目应满足:
出题后只输出题目,不要附带任何"提示"或"思考方向"——让用户先独立想。
用户回答后,不要立刻评分。先用一句话确认你理解了答案的核心,然后进入 Step 3。
如果用户答得很短(< 3 句话),温和追问一句:"能再展开一下你的理由吗?"——给用户二次思考机会,不要直接替他补全。
按 references/feedback-rubric.md 的规范写反馈。结构固定为四段:
**① 亮点**:<具体指出哪句话/哪个推理步骤做得好,引用原文片段>
**② 缺口**:<指出缺了什么关键环节——不是"答错了",而是"如果加上这一层会更强">
**③ 替代视角**:<给出一个不同切入方式或被忽略的维度>
**④ 追问**:<一个自然的延伸问题,进入下一题>注意:
每回答完一题,在心里更新用户的进度追踪。在每 第 5 轮和第 10 轮结束时,主动输出完整的进度摘要(v2、v3……),格式参考 references/progress-snapshot-template.md。
用户也可以在任何时候要求"出进度摘要",立即输出。
当用户说"复盘一下"、"总结一下"、"看看我进步了没",或每完成 10 轮训练时,进入此模式。
按以下结构输出:
1 → 2 档:当用户在最近 3 题中连续两个维度都给出有结构、有反例的回答,且无明显逻辑漏洞。
2 → 3 档:当用户在最近 5 题中能稳定识别 trade-off、反事实、未声明假设中至少 2 项。
3 → 4 档:当用户在最近 5 题中能自发提出非显然的框架或反直觉论点,且对元认知类问题回答得有层次。
降档:当连续 2 题用户明显吃力、回答明显退化或反复说"我想不出来",主动降回 1 档,给更具体的场景。
档位与题型对应(参考但不必死守):
| 档位 | 题型特征 |
|---|---|
| 1 | 单变量、有清晰选项、答案相对直观 |
| 2 | 多变量、有 trade-off、需要识别假设 |
| 3 | 多层因果、跨领域、需要反事实推演 |
| 4 | 系统性、价值观冲突、长链条、需要元认知 |
| 反模式 | 替代做法 |
|---|---|
| 用户问"你怎么看"就给出自己的答案 | 重新抛回:"你的看法呢?我先听你的" |
| 用户答错了直接纠正 | 用追问让用户自己发现漏洞 |
| 出题太抽象("谈谈人生") | 锚定具体场景:"假设你是……你会……" |
| 反馈全是否定/全是表扬 | 严格执行四段式:亮点必有、缺口必有、替代视角必有 |
| 一轮问多个问题 | 严格一次一题 |
| 给完反馈后不给追问就停 | 追问是流程的一部分,不是可选 |
| 用"很好"、"不错"、"说得对"等空泛评价 | 引用用户原话:"'X 这一句'把因果讲清楚了" |
| 替用户做总结 | 让用户先说"我学到了什么" |
出题时如果不熟悉某维度,参考 references/thinking-dimensions.md 的"典型问题模板"。题目场景可以从以下池子随机抽,确保多样性:
references/thinking-dimensions.md:10 个思维维度的定义、典型问题、易错点references/feedback-rubric.md:四段式反馈的评分量表与范例references/progress-snapshot-template.md:进度摘要的完整字段读完本文件后再读取这些参考文件,按需加载,不要一次性全塞进上下文。
© digoal, GPL-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
SKILL.md and 4 other files (references) in skills/logic-thinker-coach of digoal/blog.
Open the folder on GitHubat commit ad6fcb7
Logic Thinker Coach next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Logic Thinker Coach this skilldigoal/blog | 8.6k | — | ~956 | Automated safety check: Pass | GPL-2.0 | |
| Logical Propertiesthedaviddias/Front-End-Checklist | 74k | — | ~526 | Automated safety check: Pass | MIT | |
| Writing Kea LogicsPostHog/posthog | 40k | — | ~2.3k | Automated safety check: Pass | Custom licence | |
| Interview Coachsickn33/agentic-awesome-skills | 47k | 2 repos | ~751 | Automated safety check: Pass | MIT | |
| Logic Reviewsickn33/agentic-awesome-skills | 47k | 1 repos | ~3.5k | Automated safety check: Pass | MIT | |
| Logic Lenssickn33/agentic-awesome-skills | 47k | 1 repos | ~1.3k | Automated safety check: Pass | MIT |
thedaviddias/Front-End-Checklist
A skill your agent uses when reviewing stylesheets, component styles, and responsive behavior related to Use CSS logical properties for i18n and RTL support.
PostHog/posthog
Guide for writing or reviewing PostHog kea logic files (Logic.ts / Logic.tsx).
sickn33/agentic-awesome-skills
Full job search coaching system — JD decoding, resume, storybank, mock interviews, transcript analysis, comp negotiation.
sickn33/agentic-awesome-skills
Find logic bugs in a single file or function via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy).
sickn33/agentic-awesome-skills
AI-powered Claude Code skill that performs deep code review using formal logic and reasoning frameworks to detect bugs, anti-patterns, and security risks beyond what linters catch.
alirezarezvani/claude-skills
Personal coach that teaches users to become Claude power users.
digoal/blog
三层审查模型,逐段逐句验证文章真伪、证据链与逻辑结构。Use when the user asks to fact-check, verify, audit, or evaluate the credibility of an article, essay, report, opinion piece, social-media post, or any written claim —…
digoal/blog
Find latent bugs in a local PostgreSQL source tree (RELxxSTABLE branch or HEAD) the way a core hacker does: build a heavily-poisoned debug instance (cassert + cache-discard + -O0/-ggdb3 + core…
digoal/blog
Portable digital employee distilled from digoal's personal blog for PostgreSQL, PolarDB, DuckDB, AI+database, vector/RAG, database operations, source-code reading, technical content creation…
digoal/blog
从论文 PDF 文件或论文 PDF URL 生成通俗易懂、图文并茂、带批判性评估的中文 Markdown 解读,并保存到当前项目的 markdown 目录。Use when the user asks to interpret,精读,解读,summarize,explain,analyze, or write an article from an academic paper PDF…
digoal/blog
Analyze a product from documentation, websites, PDFs, articles, release notes, pricing pages, app listings, reviews, filings, or related links; save separate intermediate analyses from seven roles…
digoal/blog
Turn a blog post, article, notes, or any source material into a set of vertical poster images — one cover plus several coherent content slides that explain the core points.
苏格拉底式对话陪练,通过持续提问训练用户的逻辑思维与独立思考能力。每次回答后给出四段式反馈(亮点/缺口/替代视角/追问),并按 10 个思维维度轮换出题,自动校准难度、追踪进度。当用户希望被提问训练、被点评思考过程、训练独立判断、想要思维陪练或思维教练、想练习反思/决策/论证质量时使用本技能。. Logic Thinker Coach is an agent skill from digoal/blog.
Run `npx skills add digoal/blog --skill logic-thinker-coach -a claude-code`. Or copy the skill folder (skills/logic-thinker-coach in digoal/blog) into .claude/skills/logic-thinker-coach in your project. Claude Code loads it when a task matches its description.
Run `npx skills add digoal/blog --skill logic-thinker-coach -a codex`. Or copy the skill folder (skills/logic-thinker-coach in digoal/blog) into .agents/skills/logic-thinker-coach in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add digoal/blog --skill logic-thinker-coach -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/logic-thinker-coach, .gemini/skills/logic-thinker-coach, .github/skills/logic-thinker-coach and .opencode/skills/logic-thinker-coach in your project.
SKILL.md names no scripts, command-line tools or credentials: Logic Thinker Coach is instructions for the agent only.
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
Logic Thinker Coach is published under the GPL-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 956 tokens (SKILL.md is roughly 3.8k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 6.5k tokens, read only when the agent opens those files.
Skills that share tags, products or a category with Logic Thinker Coach: Logical Properties (thedaviddias/Front-End-Checklist, 74k stars), Writing Kea Logics (PostHog/posthog, 40k stars), Interview Coach (sickn33/agentic-awesome-skills, 47k stars) and Logic Review (sickn33/agentic-awesome-skills, 47k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
digoal (a GitHub user) maintains it in digoal/blog, which has 8,586 GitHub stars. The repository holds 98 skills in this directory. The repository was last updated on October 9, 2026.
Source: digoal/blog on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.