Persistent learning across Lean 4 sessions (patterns, dead-ends, conventions)
/plugin marketplace add cameronfreer/lean4-skills
/plugin install lean4-memories@cameronfreer/lean4-skills
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
Easily create hooks to prevent unwanted behaviors by analyzing conversation patterns
Adds educational insights about implementation choices and codebase patterns (mimics the deprecated Explanatory output style)
Migrate your code and prompts from Sonnet 4.x and Opus 4.1 to Opus 4.5.
Frontend design skill for UI/UX implementation