lean-research

USE FOR: per-question Lean 4 research — picking a research method (Mathlib grep / Web / repo grep / sub-agent), choosing depth (Shallow / Standard / Deep / Exhaustive), emitting a findings + recommended-strategy + Zettel triple, integrating with the Rumsfeld epistemic matrix and the review council, running a typed protocol (M / T / L / S / D / X / E). DO NOT USE FOR: full council convocation (use @research-council); synthesis emission (use @research-synthesis-engine); proof writing (use @lean-proof); review (use @lean-review-council). TRIGGERS: research, mathlib lookup, find lemma, literature search, web search, what does X mean, typed research, M protocol, T protocol, L protocol.

Install with one command:

/add-skill lean-research

Tags

type:review

How the daily pick works

Each UTC day, ClaudSkills picks one skill from the top-quality bucket of the catalog via a deterministic date-hash. Install ClaudSkills to your home screen (see the install guide) and opt in below to get a daily push notification with the new pick.

Pool source for this date: daily_eligible. Catalog count at render time: see /stats/.

More from the archive

← 2026-08-22 · Archive · 2026-08-24 →

Browse the full Skill of the Day archive →