paper-logic SKILL.md skillA
paper-logic from cabbage2000-lab/paper-tutor-skills is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add cabbage2000-lab/paper-tutor-skills/paper-logic@v0.1.8Pins v0.1.8 in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- cabbage2000-lab/paper-tutor-skills
- Path
skills/paper-logic/SKILL.md- Versions recorded
- 5
- Latest version
- v0.1.8, committed Oct 10, 2026
- First version recorded
- Jul 27, 2026
- Size
- 21,430 bytes
- Repository stars
- 46
- License
- a license file GitHub does not identify
Paper 论证链检查命令（结构对应检查器）。当用户已有论文大纲、要查论证逻辑、查 RQ 与方法结果结论是否对应、查论证链是否闭环、查论文逻辑结构，或说"帮我查查论证有没有问题""我的逻辑完整吗""RQ 和结论对应吗""方法能不能回答我的问题""结论有没有超出结果"时使用——即使用户只说"帮我看看论文逻辑""论证链查一下""四要素对应吗"也应使用。行为铁律：基于 outline 产物的章节大纲与 literature/ 文献锚点核对 RQ→方法→结果→结论 四者结构对应（有 draft 正文则追加段落级增强）；只核结构不核内容真伪、不下价值结论（禁"断裂/强弱"定性词）、诊断可追溯到原文；结构缺项与锚点文献客观陈列、可疑点变疑问句留用户；确认前零落盘。不替用户判"行不行"、不编断链、不核验证明数学正确性（理论型明示）。"直接告诉我论证行不行""帮我改顺这条断链""这个方法对不对"走三段式转化。.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# paper-logic：论证链检查（结构对应检查器） 帮用户把**已有的论文大纲**拿来核对 **RQ → 方法 → 结果 → 结论** 四者在结构上是否对应、闭环。你（执行本 skill 的宿主 agent）做的事：**读 outline 产物 + 读文献笔记 → 判学科（诠释型让路）→ 归类章节入四要素桶 → 逐链陈列结构对应 + 缺项 + 疑问句 → 停检查点等用户确认 → 落 Markdown 产物 + 渲染 HTML 视图**。 本 skill 覆盖学术研究「5 阶段 23 环节」标尺中**阶段 C｜成文**的**环节 14（论证逻辑检查）**；**不覆盖**环节 13 正文撰写（归 `/paper-draft`）、环节 15 摘要（归 `/paper-abstract`）、环节 16 引用管理（归 `/paper-verify`）。上游消费 `/paper-outline` 的章节大纲与锚点、`/paper-search` 的 `literature/` 笔记表五字段；可选增强消费 `/paper-draft` 正文。本 skill 是**产物型** skill——会往 `manuscript/` 落一份 Markdown 论证链检查报告（+ 由脚本渲染的 `.html` 视图）、往 `.paper/` 写使用留痕；无网络依赖，断网宿主照常可用。 **核心立场（这条决定本 skill 长什么样）**：论证链是研究主权的**逻辑闭环**体现。系统是一个**结构对应检查器**——主动解析四要素在结构上的对应关系、客观陈列证据、把可疑点变成疑问句，但**断链判断交回用户**。这既是项目「核心分工原则」（AI 负责效率、人负责研究决策）在论证检查环节的落地，也是本 skill 区别于裸模型的核心差异化：裸模型面对"帮我查查论证"会忍不住直接下判断"你的逻辑有漏洞、结论超出结果"，本 skill 把结构对应**陈列**出来、把"断没断"的定性**留**给研究者本人。 ## 三条不变（优先级最高，高于本文其余一切） **① 只核结构对应，不核内容真伪**——核对四要素在结构上是否齐全与对应（有无方法章、结果章锚点指向哪条文献、结论章是否回扣 RQ）；**不判**"这个方法对不对""证明是否成立""数据是否可靠"。理论型（数学/理论物理/理论 CS）明示"只核 RQ—方法—结论结构、不核验证明的数学正确性"；诠释型让路（见「学科适配」）。 **② 不下价值结论**——禁用"论证强/弱""链完整/断裂""逻辑严密/松散"等定性词；只客观陈列对应关系（哪些章存在、锚点挂在哪、文献五字段说了什么）+ 把可疑点变成**疑问句**留给用户。这是项目「四层标注无 AI 新判断层」在 logic 的落地。 …
Read the whole file at its exact version.
How to install
mdr add cabbage2000-lab/paper-tutor-skills/paper-logic@sha256:48e9e823bc0f7b63The line at the top of this page pins the label v0.1.8, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_iktrm72ukkiizd6o)
3 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 5 versions of this file, between Jul 27, 2026 and Oct 10, 2026, about one every 19 days. Its first recorded version is graded B and its latest A.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| v0.1.8 latest | 2026-10-10 | f5460b7 | 21,430 B | A | view · diff |
| git:20260729.2a5a7fb | 2026-07-29 | 2a5a7fb | 21,228 B | A | view · diff |
| git:20260729.d04f4a5 | 2026-07-29 | d04f4a5 | 21,241 B | A | view · diff |
| git:20260729.5b6e794 | 2026-07-29 | 5b6e794 | 21,156 B | A | view · diff |
| git:20260727.4c674fa | 2026-07-27 | 4c674fa | 20,928 B | B | view |
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (21430 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
cabbage2000-lab/paper-tutor-skills · 46 stars · license a license file GitHub does not identify · pushed 2026-10-10 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_iktrm72ukkiizd6o GET https://markdownregistry.com/api/v1/resolve?ref=cabbage2000-lab/paper-tutor-skills/paper-logic GET https://markdownregistry.com/api/v1/blob/48e9e823bc0f7b630925ae21a0c8f57b53d47049cb2085bc0de372c87a7d5a91
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.