Explore projects

Declarative agent provisioning via NixOS and home-manager. Each agent gets a user account, home-manager config, and PROMPT.md.

Algebraic analysis of software architecture — initial algebras, coalgebras, free constructions, and compositional design patterns applied to Nix module systems and agent infrastructure