cameronfreer/lean4-skills

agent-skills via skills-sh

Upstream: github.com/cameronfreer/lean4-skills
Version: 4.11.4

Source details

Revision: v4.11.4 tag
Hash: sha256-dZNZAv436+eegUcqlBbNoC2SENDPLgAhLkhN6qugEEU=
Snapshot: data/agent-skills/github.com/cameronfreer/lean4-skills.json · latest JSON

1 package

lean4

4.11.4 · plugins/lean4/skills/lean4

pkgs.agent-skills.github.cameronfreer.lean4-skills.lean4

Install with home-manager

programs.claude-code.skills.lean4 = pkgs.agent-skills.github.cameronfreer.lean4-skills.lean4;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.cameronfreer.lean4-skills.lean4'

The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too. Any agent that reads a skills directory can use these packages; see the usage guide for installation.