Add real Codex integration check
Add behaviour checks with stub agents
Add flake with a default environment without skills
Add library: mkEnvironment, mkSkill and mkSkillModule
Add launchers with a state dir per login
Add Claude Code and Codex agent modules
Add core module: instruction fragments and skill closure
Add design spec