18 lines
505 B
JSON
18 lines
505 B
JSON
{
|
|
"name": "lean4-subagents",
|
|
"owner": {
|
|
"name": "Cameron Freer",
|
|
"email": "cameronfreer@gmail.com"
|
|
},
|
|
"plugins": [
|
|
{
|
|
"name": "lean4-subagents",
|
|
"description": "Specialized subagents for Lean 4 proof development workflows (proof-golfer, sorry-filler, axiom-eliminator, proof-repair)",
|
|
"source": {
|
|
"source": "url",
|
|
"url": "https://git.waymay.us/zhongwei/gh-cameronfreer-lean4-skills-plugins-lean4-subagents.git"
|
|
},
|
|
"strict": true
|
|
}
|
|
]
|
|
} |