Skills
.
Work. You
Rest
Explore
OpenClaw
EN
Search "lc-cli" - Agent Skills | skills.rest
Skill Explorer
Searching protocol for
"lc-cli"
lean-collab
Official
Coordinate parallel Lean proofs with LC CLI.
Advanced
by
mutable-state-inc
// End of Stream //