reference-download

Installed Root

Resolve the installed reasflow-dev skills root before running packaged scripts:

REASFLOW_SKILLS_ROOT="${REASFLOW_SKILLS_ROOT:-}"
if [ -z "$REASFLOW_SKILLS_ROOT" ]; then
  if [ -d ./.agents/skills ]; then
    REASFLOW_SKILLS_ROOT="$(pwd)/.agents/skills"
  elif [ -d "$HOME/.agents/skills" ]; then
    REASFLOW_SKILLS_ROOT="$HOME/.agents/skills"
  else
    echo "reasflow shared skills not found in ./.agents/skills or $HOME/.agents/skills" >&2
    exit 1
  fi
fi

REASFLOW_PRIVATE_SKILLS_ROOT="${REASFLOW_PRIVATE_SKILLS_ROOT:-}"
if [ -z "$REASFLOW_PRIVATE_SKILLS_ROOT" ]; then
  if [ -d ./.codex/reasflow-skills ]; then
    REASFLOW_PRIVATE_SKILLS_ROOT="$(pwd)/.codex/reasflow-skills"
  elif [ -d "$HOME/.codex/reasflow-skills" ]; then
    REASFLOW_PRIVATE_SKILLS_ROOT="$HOME/.codex/reasflow-skills"
  else
    echo "reasflow private skills not found in ./.codex/reasflow-skills or $HOME/.codex/reasflow-skills" >&2
    exit 1
  fi
fi

文献下载与处理

概述

本 skill 提供下载、解压和分析学术文献（尤其是 arXiv LaTeX 格式论文）的完整工作流，支持数学证明项目高效获取参考资料。

快速开始

下载 arXiv 论文

python "$REASFLOW_PRIVATE_SKILLS_ROOT/prover/reference-download/scripts/download-arxiv-reference.py" \
  --arxiv-id <arXiv_ID> \
  --output-dir prover/references/<ref_name> \
  --workspace <workspace>

# 示例：
# --arxiv-id 2101.11203 --output-dir prover/references/ref_fedavg

下载完成后，脚本会列出所有 .tex 文件。

搜索数学内容

下载后，使用 rg 高效定位数学内容：

# 定位所有引理和定理位置（推荐优先执行）
rg "\begin\{lemma\}|\begin\{theorem\}|\begin\{assumption\}" prover/references/<ref_name>/ -n

# 定位算法
rg "\begin\{algorithm\}|\begin\{algorithmic\}" prover/references/<ref_name>/ -n

# 定位证明
rg "\begin\{proof\}" prover/references/<ref_name>/ -n

---

工作流程

第1步：下载与解压

• 使用下载脚本自动完成下载和解压
• 文件自动组织到 <workspace>/prover/references/ 下
• 支持 .tar.gz 和 .zip 格式

第2步：搜索与定位数学内容

必须使用 rg 先锁定，不要直接读取长文件：

# 全面概览（推荐首先执行）
rg "\begin\{lemma\}|\begin\{theorem\}|\begin\{assumption\}|\begin\{algorithm\}" \
  prover/references/<ref_name>/ -n

# 搜索收敛性相关内容
rg "convergence\|converge\|descent" prover/references/<ref_name>/ -l