mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 10:24:07 +00:00
8702861945
This PR registers the [leanprover/skills](https://github.com/leanprover/skills) plugin marketplace in `.claude/settings.json` so that Claude Code users working on lean4 are automatically prompted to install it. Also un-ignores `.claude/settings.json` in `.gitignore` — the blanket `settings.json` rule was blocking it from being tracked. 🤖 Prepared with Claude Code
14 lines
209 B
JSON
14 lines
209 B
JSON
{
|
|
"extraKnownMarketplaces": {
|
|
"leanprover": {
|
|
"source": {
|
|
"source": "github",
|
|
"repo": "leanprover/skills"
|
|
}
|
|
}
|
|
},
|
|
"enabledPlugins": {
|
|
"lean@leanprover": true
|
|
}
|
|
}
|