wanshuiyin/Auto-claude-code-research-in-sleep0°

formula-derivation

仓库创建 2026年3月10日最近提交 5 天前SkillHot 收录 20 天前

⬈ GitHub 仓库 ⬈ SKILL.md 原文件 ⬇ Raw 原始文件

▸ 精选理由

把零散方程整理成可呈交的推导文档，方便写作与复核。

这个 Skill 做什么

组织并推导研究公式，生成连贯的论文级公式推导包。

把分散的公式、假设和草稿串成一条清晰的推导线，生成论文级别的公式推导包，适合还在梳理理论主干或要把笔记整理成可发表推导时使用。强调诚实的推导过程，会标注额外假设与推导状态，产出可复现的推导文档。

▸ 展开 SKILL.md 英文原文

Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document. Use when the derivation target is not yet fully fixed, the main object still needs to be chosen, or the user needs a coherent derivation package rather than a finished theorem proof.

研究检索公式推导理论构建数学整理通用

1.4w

Stars

1.2k

Forks

仓库内 Skill

+844

7 日增星

安装 / 使用

给你的 Agent 一句话（通用）

帮我安装这个 skill：https://raw.githubusercontent.com/wanshuiyin/Auto-claude-code-research-in-sleep/main/skills/formula-derivation/SKILL.md

或 curl 直取 SKILL.md

curl -fsSL "https://raw.githubusercontent.com/wanshuiyin/Auto-claude-code-research-in-sleep/main/skills/formula-derivation/SKILL.md"

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

# Formula Derivation: Research Theory Line Construction

Build an honest derivation package, not a fake polished theorem story.

## Constants

- DEFAULT_DERIVATION_DOC = `DERIVATION_PACKAGE.md` in project root
- STATUS = `COHERENT AS STATED | COHERENT AFTER REFRAMING / EXTRA ASSUMPTION | NOT YET COHERENT`

## Context: $ARGUMENTS

## Goal

Produce exactly one of:
1. a coherent derivation package for the original target
2. a reframed derivation package with corrected object / assumptions / scope
3. a blocker report explaining why the current notes cannot yet support a coherent derivation

## Inputs

Extract and normalize:
- the target phenomenon, formula, relation, or theory line
- the intende

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