📦 lean4-memories — Lean 4 记忆管理v0.1.0该技能用于 Lean 4 形式化项目时，维护成功的证明模式、失败的方法、项目的持久记忆... 0· 0·0 当前·0 累计by @wu-uk生产力工具下载技能包 运行时依赖无特殊依赖 安装命令 点击复制官方npx clawhub@latest install lean4-proof-lean4-memories 镜像加速npx clawhub@latest install lean4-proof-lean4-memories --registry https://cn.longxiaskill.com镜像同步中需要定制？告诉我你的需求 → 技能文档未提供数据来源：ClawHub ↗ · 中文优化：龙虾技能库