一键安装此插件：
42plugin install cameronfreer/lean4-skills/lean4-memories42plugin install cameronfreer/lean4-skills/lean4-memories插件介绍
用于 Lean 4 项目的记忆维持工具，帮助保持重要信息。 在进行 Lean 4 形式化项目时使用，以保持成功证明模式、失败方法、项目约定和用户偏好的持久记忆，利用 MCP 记忆服务器集成。
一键安装此插件：
42plugin install cameronfreer/lean4-skills/lean4-memories42plugin install cameronfreer/lean4-skills/lean4-memories用于 Lean 4 项目的记忆维持工具，帮助保持重要信息。 在进行 Lean 4 形式化项目时使用，以保持成功证明模式、失败方法、项目约定和用户偏好的持久记忆，利用 MCP 记忆服务器集成。