Lean4 Memories
Type
Instruction
Platforms
Claude CodeClaude.aiAPI
Best for
developermanager
Resources
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
How it works
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
Tags
cameronfreerautomation