Agent Skills: 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
UncategorizedID: benchflow-ai/skillsbench/lean4-memories
278174
Install this agent skill to your local
Skill Files
Browse the full folder contents for lean4-memories.
Loading file tree…
Select a file to preview its contents.