Plugin marketplace

lean-skills

Lean 4 and Mathlib skills for Claude Code.

1 · matt-w-horn/lean-skills1 pluginApache-2.0updated 4 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

lean-skills

claude

Lean 4 and Mathlib workflows: developing and refactoring proofs, searching Mathlib, driving Lake builds, and auditing whether statements and the prose citing them mean what they claim.

3 skills

1

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted