{
  "extraKnownMarketplaces": {
    "leanprover": {
      "source": {
        "source": "github",
        "repo": "leanprover/skills"
      }
    }
  },
  "enabledPlugins": {
    "lean@leanprover": true
  }
}