)]}'
{
  "commit": "bb577aaf88d20aa186500f6a3dd4f98b2fc9e21f",
  "tree": "40966216fe56512fd3e94b4f262ae7ccb986b382",
  "parents": [
    "86175bea00f2d963a8c1367ac8ae67dd70ab32ea"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Mar 23 22:03:07 2026 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Mar 23 22:03:07 2026 +0000"
  },
  "message": "chore: add lean4-benchmarks skill for Claude Code\n\nThis PR moves benchmark documentation from CLAUDE.md into a dedicated\nproject-level skill at .claude/skills/lean4-benchmarks/SKILL.md, covering\nthe measurement pipeline, variable-size benchmarks, JSONL format, custom\nmetrics, and combine.py behavior.\n\nCo-Authored-By: Claude Opus 4.6 (1M context) \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "46a36bde220d451f50e8f8d96e2d80e41e8f59bb",
      "old_mode": 33188,
      "old_path": ".claude/CLAUDE.md",
      "new_id": "28d85b279f47731f29515e4aa52a65661cae4007",
      "new_mode": 33188,
      "new_path": ".claude/CLAUDE.md"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "6b028ac77f120ba3ddc3f3291f84597dc78f1e4b",
      "new_mode": 33188,
      "new_path": ".claude/skills/lean4-benchmarks/SKILL.md"
    }
  ]
}