lean4-memories
@clawhub_wu-uk/lean4-proof-lean4-memories
By wu-uk
About this Skill
This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, projec...
上下文管理记忆增强
Skill files and instructions
Read SKILL.md and the other instructions or configuration files published with this Skill.
Loading file list
Details
- Category
- AI Agent
- Source
- clawhub
- Version
- 0.1.0
- Updated
- Sep 23, 2026