This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful pro…
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
benchflow-ai
cli
free
Others in the same category, ranked by how often they are opened.
