{
  "$schema": "internal://schemas/plugin.lock.v1.json",
  "pluginId": "gh:cameronfreer/lean4-skills:plugins/lean4-subagents",
  "normalized": {
    "repo": null,
    "ref": "refs/tags/v20251128.0",
    "commit": "c3a4ce68a03695307f7de565da30cd5a34c740af",
    "treeHash": "23948d0548e1a30cf253c2181ec23eb5e3a17e6134fa03b67dcc77dc38ad3d63",
    "generatedAt": "2025-11-28T10:14:29.744552Z",
    "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-subagents",
    "description": "Specialized subagents for Lean 4 proof development workflows (proof-golfer, sorry-filler, axiom-eliminator, proof-repair)",
    "version": "1.3.0"
  },
  "content": {
    "files": [
      {
        "path": "README.md",
        "sha256": "efea56d6a76c6ca05355fb00fd1a0a8a2ded3a46026f9a6f7166fbe7b5c11873"
      },
      {
        "path": "agents/lean4-proof-repair.md",
        "sha256": "5e3e51e44fc01e63a1a044743c45338cb2e6242ea24bc274ea8b07e018caaa9e"
      },
      {
        "path": "agents/lean4-sorry-filler.md",
        "sha256": "9380e2f4ff631ffe47c9931846394f0ea1c9682727bcb189a0fb497b4b1614a2"
      },
      {
        "path": "agents/lean4-axiom-eliminator.md",
        "sha256": "1d45e6ac6f49e4df38dad700de91aa41c263cd8c6a787ecb7640bced5e2287b9"
      },
      {
        "path": "agents/lean4-sorry-filler-deep.md",
        "sha256": "729fa458284df651030d01c367223779eb82df2470d0f49a7c51c79b6d009646"
      },
      {
        "path": "agents/lean4-proof-golfer.md",
        "sha256": "4a161450d6b4767069327adc8bf905730724460380332eb6c962123ef1f4953b"
      },
      {
        "path": ".claude-plugin/plugin.json",
        "sha256": "caf6228ed77cbc40fac5e97a5156e10b330db55734284b43f2b183df9aa2df8f"
      }
    ],
    "dirSha256": "23948d0548e1a30cf253c2181ec23eb5e3a17e6134fa03b67dcc77dc38ad3d63"
  },
  "security": {
    "scannedAt": null,
    "scannerVersion": null,
    "flags": []
  }
}