lean4-memories
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
Also installable via skills CLI
npx skills add benchflow-ai/skillsbench/data/lean4-memories