cameronfreer/lean4-skills
claude-code-marketplaces via claudemarketplaces-com
- Upstream
- github.com/cameronfreer/lean4-skills
- Version
4.11.4
Source details
- Revision
v4.11.4tag- Hash
sha256-dZNZAv436+eegUcqlBbNoC2SENDPLgAhLkhN6qugEEU=- Snapshot
- data/claude-code-marketplaces/github.com/cameronfreer/lean4-skills.json · latest JSON
1 package
lean4-skills
4.11.4
·
.
pkgs.claude-code-marketplaces.github.cameronfreer.lean4-skills.lean4-skillsBuild without the overlay
nix build 'github:sudosubin/agents.nix#claude-code-marketplaces.aarch64-darwin.github.cameronfreer.lean4-skills.lean4-skills'
Lists 2 plugins:
plugins/lean4
plugins/lean4-contribute
The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.