{
  "name": "lean4-memories",
  "description": "Persistent learning across Lean 4 sessions (patterns, dead-ends, conventions)",
  "version": "1.0.0",
  "author": {
    "name": "Cameron Freer",
    "email": "cameronfreer@gmail.com"
  },
  "skills": [
    "./skills"
  ]
}