Paper digger theory

Skill Iu1ky/paper-digger/plugins/paper-digger/skills/paper-digger-theory

Use when deriving or proving theoretical results with explicit assumptions, lemmas, conjectures, and counterexample checks. Triggers on 理论推导, 证明, theorem, proof.From its SKILL.md

Install

npx -y skills add Iu1ky/paper-digger --skill paper-digger-theory

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

2 things to look at

16 days oldThe repository was created 16 days ago. New is not bad, but a brand new repository carrying a familiar-sounding name is the shape a typosquat arrives in, and there has been no time for anyone else to find a problem with it.
0 stars0 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

SKILL.md

2.0 KB, 651 tokens by cl100k_base, as published. Nobody here has run it

Paper Digger Theory — 理论推导(Phase 5b)

读 plan 的理论目标,做结构化推导并验证。无 hand-waving —— 每一步要么 proven,要么显式标 conjecture,没有第三种。

运行时与并行

定位同级 paper-digger skill，把它的 scripts/ 加入 Python import path 后调用 paper_digger.theory.*。默认先完成一条主推导路线；仅在推导卡住、结论脆弱、反例出现、deep 或用户明确要求时，再从同一假设台账启动独立替代路线。

推导

假设台账(assumptions ledger):把所有前提显式列成 {id, statement};之后每一步只能依赖台账里的假设。
引理分解:把目标拆成引理/步骤,每步 {id, statement, justification, status: proven|conjecture}。
按需多路线:先走最直接路线；触发升级条件后才探索替代路线并比较。

验证(对抗式)

数值/符号 sanity check(如 sympy);反例搜索(Devil's advocate 主动找反例);与已知极限/特例一致性。
每条验证记 {check, passed, notes}。

流程

paper_digger.theory.save_derivation(workspace, assumptions, steps) —— 内部 validate_derivation(每步必有 proven|conjecture status,无 hand-waving;id 唯一),写 05_theory/assumptions_ledger.md + 05_theory/derivations.md(并标出仍 open 的 conjecture)。
paper_digger.theory.record_validation(workspace, validations) —— 写 05_theory/validation.md。
unproven_steps 仍为 conjecture 的步骤,在 checkpoint / 写作中显式标注为未证,不得当成定理。

铁律

不许 hand-waving:每步 proven 或显式 conjecture;没有第三种。
conjecture 进写作必须显式标注未证,不得伪装成已证定理。
推导只依赖假设台账里列出的前提;新前提先进台账。

What ships with it: 1 file

259 B alongside SKILL.md

agents/

openai.yaml259 B