Usage
LeanKG: Stop Burning Tokens. Start Coding Lean.From the repository description
npx -y skills add FreePeak/LeanKG --skill usageAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
LeanKG: Stop Burning Tokens. Start Coding Lean.From the repository description
npx -y skills add FreePeak/LeanKG --skill usageAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
Skills are one crate of 627,801. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.