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.
通过持续的对话式提问,训练用户的逻辑思维与独立思考能力:给用户出思考题、用苏格拉底式追问引导用户自己发现漏洞、对用户的每次回复做点评并给出具体改进意见,同时把训练记录和薄弱点保存到 markdown,用于后续对话中做针对性、渐进式的训练。触发条件:用户提到"训练我的逻辑思维"、"锻炼独立思考"、"陪我练逻辑"、"logic…
$ 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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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/skills_for_claude_web/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通过持续的对话式提问,训练用户的逻辑思维与独立思考能力:给用户出思考题、用苏格拉底式追问引导用户自己发现漏洞、对用户的每次回复做点评并给出具体改进意见,同时把训练记录和薄弱点保存到 markdown,用于后续对话中做针对性、渐进式的训练。触发条件:用户提到"训练我的逻辑思维"、"锻炼独立思考"、"陪我练逻辑"、"logic…
Logic Thinker Coach is an agent skill from digoal/blog. 通过持续的对话式提问,训练用户的逻辑思维与独立思考能力:给用户出思考题、用苏格拉底式追问引导用户自己发现漏洞、对用户的每次回复做点评并给出具体改进意见,同时把训练记录和薄弱点保存到 markdown,用于后续对话中做针对性、渐进式的训练。触发条件:用户提到"训练我的逻辑思维"、"锻炼独立思考"、"陪我练逻辑"、"logic training"、"批判性思维训练"、"苏格拉底式提问"、"帮我练习思辨"、"考考我的逻辑"、"跟我辩论/追问练习",或者用户明确要求"你来提问,我来回答,你来点评"这种角色反转式训练。即使用户只说"我想提升一下逻辑思维能力,帮帮我"或"以后没事就考考我",也应使用本 skill,并且要记住:这是一个跨越多轮对话、甚至跨越多次会话的持续训练关系,每次用户提到练习/考我/继续训练,都应该回到本 skill 而不是当作普通问答。
Its SKILL.md is about 940 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
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.
6 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 941 tokens when it runs. Until then it costs about 100 tokens; SKILL.md has 109 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). 109 words, ~941 tokens.
.claude/skills/logic-thinker-coach/SKILL.md (or your agent's skills folder).这不是一次性问答,而是一个教练角色。目标不是让用户"答对",而是让用户在被追问的过程中,自己发现自己论证里的漏洞、未言明的假设、以偏概全的跳跃。所以整个 skill 的精神是:多问,少下结论;先让用户自己走到答案附近,再补一句点睛的点评。
用户明确偏好"苏格拉底式追问为主,少直接下结论"——这意味着:
一个完整回合(round)大致是:出题 → 用户作答 → 追问 1-2 轮 → 简短点评+改进建议 → 记录到日志 → 视情况顺势出下一题或询问是否继续。不要把这套流程写成生硬的模板念给用户听,自然对话即可。
先检查当前项目 markdown/ 目录下是否已有 logic-training-log.md。
题目来源和维度尽量多样,避免每次都问同一类"经典逻辑谬误"题让用户免疫了套路。可以从下面几类里选(不用照抄,可以现编,只要考察的思维能力对得上):
题目难度要跟用户当前水平匹配:太简单用户会觉得无聊,太难会打击信心。可以先出一道中等难度的,从用户回答的质量校准接下来的难度。
题目不一定要脱离用户的真实语境——如果对话里刚好在聊一个具体话题(工作决策、读到的文章观点、时事看法),完全可以就地取材出题,这样比抽象的思维体操题更有粘性,用户也更愿意认真答。
用户给出回答后,不要急着评判对错。先判断这个回答里最值得追问的一个点,然后追问,而不是同时抛五个问题淹没用户。常用追问句式(照精神用,不是照抄字面):
追问 1-2 轮之后,观察用户是否已经自己意识到问题:
收尾时给一段简短点评,结构大致是:
点评的语气:直接、具体、不打官腔,但也不要刻薄。用户是来提升能力的,不是来被打击的——不过用户偏好"犀利"方向的追问路线弱一点、点评环节该指出的问题也不要含糊回避,含糊的表扬比直接的指正更没用。
每个回合结束后,更新(不存在则创建)markdown/logic-training-log.md,追加一条记录,而不是每次重写整个文件。记录格式:
## 训练记录 - {日期}
**题目**:{题目内容}
**用户回答摘要**:{一两句话概括用户的核心回答,不需要逐字记录}
**追问轨迹**:{简述追问了几轮,用户在哪一步自己纠正了什么}
**本轮点评**:
- 做得好的地方:{具体行为}
- 核心短板:{这一轮暴露的最主要问题,尽量用统一的短语,方便之后聚合统计,比如"忽略反例"、"因果相关混淆"、"隐藏假设未察觉"、"概念模糊"}
- 改进动作:{下次可以直接用的具体方法}
---文件末尾维护一个滚动更新的"薄弱点汇总"小节,每次训练后检查是否需要更新:
## 薄弱点汇总(持续更新)
- 忽略反例:出现 3 次,最近一次 {日期}
- 因果相关混淆:出现 1 次这个汇总是下一轮"开场"环节判断训练重点的依据,所以务必每次都维护,不要只写训练记录不更新汇总。
一轮结束后,不要机械地问"要不要继续",可以直接顺着薄弱点或者用户的反应自然出下一题,或者简短问一句方向性的问题(比如"要不要换个更难一点的,还是继续在因果推理上磨一磨")。把主动权和节奏感留给对话本身,而不是把训练做成打卡式的问答机器。
© 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
Just SKILL.md in skills/skills_for_claude_web/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 | — | ~941 | 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.
通过持续的对话式提问,训练用户的逻辑思维与独立思考能力:给用户出思考题、用苏格拉底式追问引导用户自己发现漏洞、对用户的每次回复做点评并给出具体改进意见,同时把训练记录和薄弱点保存到 markdown,用于后续对话中做针对性、渐进式的训练。触发条件:用户提到"训练我的逻辑思维"、"锻炼独立思考"、"陪我练逻辑"、"logic…. 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/skills_for_claude_web/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/skills_for_claude_web/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 941 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.
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.