Evaluating Paper Relevance
Two-stage paper screening - abstract scoring then deep dive for specific data extraction
2
0
2025年10月22日 20:56
下载技能文件
下载包含 SKILL.md 和所有相关文件的完整技能目录
相关技能
Cleaning Up Research Sessions
kthorn
Safely remove intermediate files from completed research sessions while preserving important data
Answering Research Questions
kthorn
Main orchestration workflow for systematic literature research - search, evaluate, traverse, synthesize
Traversing Citation Networks
kthorn
Smart backward and forward citation following via Semantic Scholar, with relevance filtering and deduplication
Subagent-Driven Literature Review
kthorn
Use parallel subagents for large-scale paper screening and deep dive analysis
Searching Scientific Literature
kthorn
PubMed search with keyword optimization, result parsing, and metadata extraction
Finding Open Access Papers
kthorn
Use Unpaywall API to find free full-text versions of paywalled papers
Getting Started with Research Superpowers
kthorn
Introduction to literature search & review skills - systematic paper finding, screening, extraction, and citation traversal
Delegating to CDN Agent
ryancnelson
Recognize Fastly CDN queries and delegate to specialized sub-agent to avoid context pollution
Delegating to New Relic Agent
ryancnelson
Recognize New Relic queries and delegate to specialized sub-agent to avoid context pollution
using-tmux-for-interactive-commands
obra
Use when you need to run interactive CLI tools (vim, git rebase -i, Python REPL, etc.) that require real-time input/output - provides tmux-based approach for controlling interactive sessions through detached sessions and send-keys
lean4-theorem-proving
cameronfreer
This skill should be used when developing Lean 4 proofs, managing sorries/axioms, facing "failed to synthesize instance" or type class errors, or searching mathlib - provides systematic build-first workflow, type class management patterns (haveI/letI), and domain-specific tactics for measure theory, probability, and algebra
lean4-memories
cameronfreer
This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration