{
  "$schema": "internal://schemas/plugin.lock.v1.json",
  "pluginId": "gh:cameronfreer/lean4-skills:plugins/lean4-memories",
  "normalized": {
    "repo": null,
    "ref": "refs/tags/v20251128.0",
    "commit": "560db6c7a41a418ec395faeaa876ab2609d8ba76",
    "treeHash": "a2abdcf92dec73c208d45ab9adba9dc693721af31794a312d862fcc0a29c602e",
    "generatedAt": "2025-11-28T10:14:29.514481Z",
    "toolVersion": "publish_plugins.py@0.2.0"
  },
  "origin": {
    "remote": "git@github.com:zhongweili/42plugin-data.git",
    "branch": "master",
    "commit": "aa1497ed0949fd50e99e70d6324a29c5b34f9390",
    "repoRoot": "/Users/zhongweili/projects/openmind/42plugin-data"
  },
  "manifest": {
    "name": "lean4-memories",
    "description": "Persistent learning across Lean 4 sessions (patterns, dead-ends, conventions)",
    "version": "1.0.0"
  },
  "content": {
    "files": [
      {
        "path": "README.md",
        "sha256": "f32b23537a71bfd92ff5ca6fc21381a758397014a5bb8307810e4fb7297b9ac3"
      },
      {
        "path": ".claude-plugin/plugin.json",
        "sha256": "524ad68f0652b61a372d58af2ff7fc98c2788888f0fd9f75c4b64dd18d024399"
      },
      {
        "path": "skills/lean4-memories/SKILL.md",
        "sha256": "158e14b3e8a10b5a09eecda01d3a83fe4fade2ceca0272d78e4946563b2450bd"
      },
      {
        "path": "skills/lean4-memories/references/memory-patterns.md",
        "sha256": "902f10dceccc914fddb384867cf96a263cbc0331cdee4a9b2090916350e0da7e"
      },
      {
        "path": "skills/lean4-memories/scripts/memory_helper.py",
        "sha256": "74333912f6e136899a7af471728258e243f7ae9e4239cfef3d39c11a048f103a"
      }
    ],
    "dirSha256": "a2abdcf92dec73c208d45ab9adba9dc693721af31794a312d862fcc0a29c602e"
  },
  "security": {
    "scannedAt": null,
    "scannerVersion": null,
    "flags": []
  }
}