lean4-memories
@clawhub_wu-uk/lean4-proof-lean4-memories
作者：wu-uk
关于这个 Skill
此技能用于在 Lean 4 形式化项目中保持对成功证明模式、失败尝试及项目的持久记忆。
上下文管理记忆增强
Skill 文件与使用说明
查看 SKILL.md 以及作者随 Skill 发布的其他说明和配置文件。
正在读取文件列表
详细信息
- 分类
- AI Agent
- 来源
- clawhub
- 版本
- 0.1.0
- 更新时间
- 2026年9月23日
@clawhub_wu-uk/lean4-proof-lean4-memories
作者：wu-uk
此技能用于在 Lean 4 形式化项目中保持对成功证明模式、失败尝试及项目的持久记忆。
查看 SKILL.md 以及作者随 Skill 发布的其他说明和配置文件。