Software Development
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
- Publisher / source
- benchflow-ai/skillsbench (found on GitHub top repositories)
- Upstream record
- benchflow-ai/skillsbench
- Version
- Version 1
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-07
- Content fingerprint
158e14b3e8a10b5a09eecda01d3a83fe4fade2ceca0272d78e4946563b2450bd