Searching Scientific Literature

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

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

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