{
  "name": "lean4-theorem-proving",
  "description": "Systematic workflows for Lean 4 proofs: sorries management, mathlib usage, verified math, compiler-guided repair",
  "version": "3.3.1",
  "author": {
    "name": "Cameron Freer",
    "email": "cameronfreer@gmail.com"
  },
  "hooks": [
    "./hooks/hooks.json"
  ]
}