Traversing Citation Networks
Smart backward and forward citation following via Semantic Scholar, with relevance filtering and deduplication
2
0
October 22, 2025 at 20:56
Related Skills
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
Evaluating Paper Relevance
kthorn
Two-stage paper screening - abstract scoring then deep dive for specific data extraction
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
session-launcher
Toowiredd
Restores full context when user says "hi-ai" or starts a new conversation. Searches project files, loads memory indexes, reads session state, and creates visual dashboard showing current project, recent decisions, active blockers, and quick actions. Use when user says "hi-ai", "continue", "restore context", or starts a fresh conversation.
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