agentsclimarketplace
Sign in

Mathlib pr

Skill leanprover/skills/skills/mathlib-pr

Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and moreFrom the repository description

Install
npx -y skills add leanprover/skills --skill mathlib-pr

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

Keep looking

Skills are one crate of 617,483. 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.