paper-digger-theory

仓库创建 2026年7月27日最近提交 1 天前SkillHot 收录 1 天前

▸ 精选理由

约束严格、避免含糊，适合需要健全数学/理论论证的研究者。

▸ 风险提示

会写入推导台账并可能运行本地分析脚本，注意代码与数据来源。

这个 Skill 做什么

进行结构化理论推导，逐步证明或显式标注猜想与反例。

用于做严谨的理论推导或证明，把所有前提列成假设台账，按引理分解目标，每一步要么被证明要么显式标注为 conjecture，不允许含糊带过。适合写论文、证明定理或需要明确假设边界的推导场景。特别在于流程化、可审计——每一步都有状态，遇到脆弱结论还能并行尝试替代路线。

▸ 展开 SKILL.md 英文原文

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

研究检索理论推导假设台账反例验证通用

Stars

Forks

仓库内 Skill

积累中

7 日增星

安装 / 使用

给你的 Agent 一句话（通用）

帮我安装这个 skill：https://raw.githubusercontent.com/Iu1ky/paper-digger/main/plugins/paper-digger/skills/paper-digger-theory/SKILL.md

或 curl 直取 SKILL.md

curl -fsSL "https://raw.githubusercontent.com/Iu1ky/paper-digger/main/plugins/paper-digger/skills/paper-digger-theory/SKILL.md"

SKILL.MD 节选查看完整文件 ↗

# 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}`。

## 流程
1. `paper_digger.theory.save_derivation(workspace, assumptions,

via SKILL·HOT · 数据来自 GitHub 公开信息 · 原文版权归作者所有