18 lines
458 B
JSON
18 lines
458 B
JSON
{
|
|
"name": "lean4-memories",
|
|
"owner": {
|
|
"name": "Cameron Freer",
|
|
"email": "cameronfreer@gmail.com"
|
|
},
|
|
"plugins": [
|
|
{
|
|
"name": "lean4-memories",
|
|
"description": "Persistent learning across Lean 4 sessions (patterns, dead-ends, conventions)",
|
|
"source": {
|
|
"source": "url",
|
|
"url": "https://git.waymay.us/zhongwei/gh-cameronfreer-lean4-skills-plugins-lean4-memories.git"
|
|
},
|
|
"strict": true
|
|
}
|
|
]
|
|
} |