Skip to content
agents.nix
Color theme

cameronfreer/lean4-skills

claude-code-plugins via marketplace-crawl

Upstream
github.com/cameronfreer/lean4-skills
Version
4.11.4
Source details
Revision
v4.11.4 tag
Hash
sha256-dZNZAv436+eegUcqlBbNoC2SENDPLgAhLkhN6qugEEU=
Snapshot
data/claude-code-plugins/github.com/cameronfreer/lean4-skills.json · latest JSON

2 packages

lean4

4.11.4 · plugins/lean4 

pkgs.claude-code-plugins.github.cameronfreer.lean4-skills.lean4
Build without the overlay 
nix build 'github:sudosubin/agents.nix#claude-code-plugins.aarch64-darwin.github.cameronfreer.lean4-skills.lean4'

lean4-contribute

4.11.4 · plugins/lean4-contribute 

pkgs.claude-code-plugins.github.cameronfreer.lean4-skills.lean4-contribute
Build without the overlay 
nix build 'github:sudosubin/agents.nix#claude-code-plugins.aarch64-darwin.github.cameronfreer.lean4-skills.lean4-contribute'

The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.