Skip to content
agents.nix
Color theme

cjbuilds/lean-thinking

agent-skills via skillsdirectory-com

Upstream
github.com/cjbuilds/lean-thinking
Version
0-unstable-2026-09-08
Source details
Revision
139497bf8b3dffbdba82e36fe4d5c0e5678b1dae commit
Hash
sha256-UpRmTQwEvuKl1NDRZ5FUwPVRz/3/d7a8hsLdOor+kt0=
Snapshot
data/agent-skills/github.com/cjbuilds/lean-thinking.json · latest JSON

1 package

lean-thinking

0-unstable-2026-09-08 · skills/lean-thinking 

pkgs.agent-skills.github.cjbuilds.lean-thinking.lean-thinking
Install with home-manager 
programs.claude-code.skills.lean-thinking = pkgs.agent-skills.github.cjbuilds.lean-thinking.lean-thinking;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.cjbuilds.lean-thinking.lean-thinking'

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.