Skip to content

Add lean-comments skill 🤖🤖🤖 - #3137

Open
JonathanXDR wants to merge 1 commit into
github:mainfrom
JonathanXDR:add-lean-comments-skill
Open

JonathanXDR wants to merge 1 commit into
github:mainfrom
JonathanXDR:add-lean-comments-skill

feat: add lean-comments skill

52d30c6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view