{
  "name": "lean4-theorem-proving",
  "owner": {
    "name": "Cameron Freer",
    "email": "cameronfreer@gmail.com"
  },
  "plugins": [
    {
      "name": "lean4-theorem-proving",
      "description": "Systematic workflows for Lean 4 proofs: sorries management, mathlib usage, verified math, compiler-guided repair",
      "source": {
        "source": "url",
        "url": "https://git.waymay.us/zhongwei/gh-cameronfreer-lean4-skills-plugins-lean4-theorem-proving.git"
      },
      "strict": true
    }
  ]
}