Reference and guides for Kleisli systems.

Task graphs and pattern playbooks for Claude Code.

Pure Nix effects, typed validation, verified boundaries, and description-backed DSLs.