Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add skills/i-stack/ai-coding-kit/logical-reasoningnpx skills add i-stack/ai-coding-kit --skill logical-reasoninggit clone --depth 1 https://github.com/i-stack/ai-coding-kitWhat it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00048 | $0.00667 |
| Opus 5 | $0.00024 | $0.00333 |
| Sonnet 5 | $0.00010 | $0.00133 |
| Haiku 4.5 | $0.00005 | $0.00067 |
Grade A, and why
logical-reasoning scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured yesterday.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
What it actually says
Logical Reasoning
强制入口
命中本 skill 时，必须先完整阅读 references/logical_reasoning.md 并按其中条款执行。
- 不得以 preamble、Cursor 规则摘要或其它二次摘要代替该文件全文。
- 同步依赖：本 skill 在「与认知对手模式的分工」中通过相对路径引用
../ios-engineer/references/cognitive_adversary_mode.md；同步到各端时，需确保ios-engineerskill 也同步到同层 skills 目录（如~/.claude/skills/ios-engineer），否则该链接失效。条件性：该链接仅在 ios-engineer 已同步到同层 skills 目录时可达；非 iOS 环境（未同步 ios-engineer）下，本 skill 的 GR-010 约束本身完整可用，仅"与认知对手模式分工"的跳转链接失效，不影响核心论证纪律。
GR-010 核心规则
- [GR-010] 回复必须具备可追溯的逻辑链；须区分「事实 / 推断 / 建议 / 推测」，不得把未验证推断写成定论；禁止无依据的因果跳跃、循环论证、同一回复内自相矛盾；非显然判断至少标出一步「因为…所以…」；证据不足时标明不确定，不得用流畅措辞伪装确定性。高风险判断时输出须包含独立「逻辑链」块，字段为：事实/证据、推断、结论强度、可证伪/缺口。细则见 logical_reasoning.md。
何时加载
- 默认：所有含判断成分的任务。
- 必须输出逻辑链块：技术决策、架构取舍、根因归因、性能归因、审查最终判断、用户强烈确信或显式要求挑战观点。
- 跳过：纯机械执行、无任何判断成分的任务。
与认知对手模式的分工
| 角色 | 目标 | 典型触发 |
|---|---|---|
| 认知对手模式（ios-engineer） | 校准：挑战用户结论的逻辑与假设 | 技术决策、强确信、显式 red team |
| 本 skill（GR-010） | 约束：AI 自身的论证质量 | 所有含判断成分的回复 |
What ships with it
7 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- yesterday First seen · 33 lines · 48 tokens per session scan A 0105d68a71e9
logical-reasoning is a skill published in the GitHub repository i-stack/ai-coding-kit (3 stars, last pushed yesterday), licensed MIT. It adds 48 tokens to every session and 667 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.
Other skills, from other repositories
extension-creator
Create AiderDesk extensions by setting up extension files, defining metadata, implementing Extension interface methods, and updating documentation. Use when building a new extension, creating extension commands, tools, or event handlers.
theme-factory
Create new AiderDesk UI themes by defining SCSS color variables, registering theme types, and adding i18n display names. Use when adding a theme, creating a color scheme, customizing appearance, or implementing dark mode and light mode variants.
agent-creator
Create and configure AiderDesk agent profiles by defining tool groups, approval rules, system prompts, subagent settings, subagent filtering, and provider/model selection. Use when setting up a new agent, creating a profile, or configuring agent tools, permissions, and subagent behavior.
writing-tests
Write unit tests, component tests, and integration tests for AiderDesk using Vitest and React Testing Library. Use when creating new tests, adding test coverage, configuring mocks, setting up test files, or debugging failing tests.
ppt-design-skill
Design, generate, review, and revise editable PowerPoint presentations through a rigorous brief-to-PNG workflow using the public pptx-designer Python library.
githits-onboarding
Set up GitHits from an agent session: detect supported coding tools, install GitHits MCP configuration, start account sign-in/signup, verify auth, and recover from setup issues. Use when the user asks to install, connect, set up, sign up for, or start using GitHits.