AgentStack
Browse Sign in
Browse Why AgentStack Sell Docs
Sign in
SKILL verified MIT Self-run

Logical Reasoning

skill-i-stack-ai-coding-kit-logical-reasoning · by i-stack

全局论证纪律——可追溯逻辑链、层级分明、因果克制、逻辑链输出块（GR-010）。适用所有工程任务，不限平台。

↗ Repository
— No reviews yet
0 installs
26 views
0.0% view→install

Install

$ agentstack add skill-i-stack-ai-coding-kit-logical-reasoning

✓ scanned · ✓ verified, works with Claude Code, Cursor, and more.

Security review

✓ Passed

No issues found. Passed automated security review. · v0.1.0 How review works →

  • ✓ Prompt-injection patterns
  • ✓ Secret / credential exfiltration
  • ✓ Dangerous shell & filesystem operations
  • ✓ Untrusted network calls
  • ✓ Known-malicious package signatures

What it can access

  • ✓ Network access No
  • ✓ Filesystem access No
  • ✓ Shell / process execution No
  • ✓ Environment & secrets No
  • ✓ Dynamic code execution No

From automated source analysis of v0.1.0. “Used” means the capability is present in the source — more access means more to trust, not that it’s unsafe.

View the full security report →

Verified badge

Passed review? Show it. Paste this badge into your README, it links to the public security report.

AgentStack Verified badge Links to your public security report.
[![AgentStack Verified](https://agentstack.voostack.com/badges/verified.svg)](https://agentstack.voostack.com/security/report/skill-i-stack-ai-coding-kit-logical-reasoning)

Reliability & compatibility

✓ Security review passed
0 installs to date
— no reviews yet
● 2mo ago

Declared compatibility

Claude CodeClaude Desktop

Compatibility is declared by the source manifest. End-to-end runtime verification is coming, see below.

Preview Execution monitoring

We're building live execution health for every listing: tool-call success rate, median latency, uptime, and last-checked timestamps, measured, not self-reported. It isn't live yet, so we don't show numbers we can't stand behind.

How agent discovery & health will work →
Are you the author of Logical Reasoning? Claim this listing to set pricing, connect Stripe payouts, and keep 70% of every sale.
Sign up to claim

About

Logical Reasoning

强制入口

命中本 skill 时，必须先完整阅读 [references/logicalreasoning.md](references/logicalreasoning.md) 并按其中条款执行。

  • 不得以 preamble、Cursor 规则摘要或其它二次摘要代替该文件全文。
  • 同步依赖：本 skill 在「与认知对手模式的分工」中通过相对路径引用 ../ios-engineer/references/cognitive_adversary_mode.md；同步到各端时，需确保 ios-engineer skill 也同步到同层 skills 目录（如 ~/.claude/skills/ios-engineer），否则该链接失效。条件性：该链接仅在 ios-engineer 已同步到同层 skills 目录时可达；非 iOS 环境（未同步 ios-engineer）下，本 skill 的 GR-010 约束本身完整可用，仅"与认知对手模式分工"的跳转链接失效，不影响核心论证纪律。

GR-010 核心规则

  • [GR-010] 回复必须具备可追溯的逻辑链；须区分「事实 / 推断 / 建议 / 推测」，不得把未验证推断写成定论；禁止无依据的因果跳跃、循环论证、同一回复内自相矛盾；非显然判断至少标出一步「因为…所以…」；证据不足时标明不确定，不得用流畅措辞伪装确定性。高风险判断时输出须包含独立「逻辑链」块，字段为：事实/证据、推断、结论强度、可证伪/缺口。细则见 [logicalreasoning.md](references/logicalreasoning.md)。

何时加载

  • 默认：所有含判断成分的任务。
  • 必须输出逻辑链块：技术决策、架构取舍、根因归因、性能归因、审查最终判断、用户强烈确信或显式要求挑战观点。
  • 跳过：纯机械执行、无任何判断成分的任务。

与认知对手模式的分工

| 角色 | 目标 | 典型触发 | |------|------|----------| | [认知对手模式](../ios-engineer/references/cognitiveadversarymode.md)（ios-engineer） | 校准：挑战用户结论的逻辑与假设 | 技术决策、强确信、显式 red team | | 本 skill（GR-010） | 约束：AI 自身的论证质量 | 所有含判断成分的回复 |

Source & license

This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.

Install and usage instructions live in the source repository linked above.

Reviews

No reviews yet, be the first.

Write a review

Versions

  • v0.1.0 Imported from the upstream source.

More in Agent Skills