Results for “evidence-ledger”
3 skillsPaper Reader
基于论文文本的通用读论文助手。用户提供论文文本(文件路径或直接粘贴),解答各类读论文需求——总结、精读、内容问答、概念解释、批判性分析等,并将结果以 Markdown 写入当前工作目录。触发词:读论文、论文总结、精读这篇论文、帮我分析这篇论文、这篇论文讲了什么、论文问答、论文笔记。输入为纯文本/Markdown 论文内容;不做论文检索下载、不做扫描件 OCR、不做论文写作降重。
9
Proof Finder
Mine proof-heavy papers, notes, PDFs, Markdown, or LaTeX sources into source-indexed proof-material files. Use when the user wants to extract technically nontrivial lemmas, estimates, definitions, dependencies, reductions, constructions, or proof strategies, preserve paper locations and stable material IDs, run DeepSeek screening/backtests, and update the proof-material index rather than writing directly to proof-usage.
2 · bundle
Scientific Slides
Build visually engaging scientific slide decks for conferences, seminars, defenses, and research talks with structured planning, design templates, and automated image generation.
30.2k · bundle