yvgude/lean-ctx

agent-skills via skills-shvia skillsdirectory-com

Upstream: github.com/yvgude/lean-ctx
Version: 3.12.2

Source details

Revision: v3.12.2 tag
Hash: sha256-s/uuw6CNhHiW+Yn2OksUi/QXANsu0CoQArA50UfBsfw=
Snapshot: data/agent-skills/github.com/yvgude/lean-ctx.json · latest JSON

3 packages

lean-ctx

3.12.2 · skills/lean-ctx

pkgs.agent-skills.github.yvgude.lean-ctx.lean-ctx

Install with home-manager

programs.claude-code.skills.lean-ctx = pkgs.agent-skills.github.yvgude.lean-ctx.lean-ctx;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.yvgude.lean-ctx.lean-ctx'

lean-ctx-review

3.12.2 · skills/lean-ctx-review

pkgs.agent-skills.github.yvgude.lean-ctx.lean-ctx-review

Install with home-manager

programs.claude-code.skills.lean-ctx-review = pkgs.agent-skills.github.yvgude.lean-ctx.lean-ctx-review;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.yvgude.lean-ctx.lean-ctx-review'

templates

3.12.2 · rust/src/templates

pkgs.agent-skills.github.yvgude.lean-ctx.templates

Install with home-manager

programs.claude-code.skills.templates = pkgs.agent-skills.github.yvgude.lean-ctx.templates;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.yvgude.lean-ctx.templates'

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.