leanprover/skills
claude-code-plugins via marketplace-crawl
- Upstream
- github.com/leanprover/skills
- Version
0-unstable-2026-02-21
Source details
- Revision
7d3da0282e7b724b07620e45cf212f2e05e19334commit- Hash
sha256-wMGIyEwwM+R5B6pGtP/jsaA8KN2CDCE2SbNZ4b+REgk=- Snapshot
- data/claude-code-plugins/github.com/leanprover/skills.json · latest JSON
1 package
skills
0-unstable-2026-02-21
·
.
pkgs.claude-code-plugins.github.leanprover.skills.skillsBuild without the overlay
nix build 'github:sudosubin/agents.nix#claude-code-plugins.aarch64-darwin.github.leanprover.skills.skills'
The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.