Marketplace

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 sessions using MCP memory server integration

$ 설치

git clone https://github.com/cameronfreer/lean4-skills /tmp/lean4-skills && cp -r /tmp/lean4-skills/plugins/lean4-memories/skills/lean4-memories ~/.claude/skills/lean4-skills

// tip: Run this command in your terminal to install the skill