User-level agent configuration

[UnstoppableMango]

• User-level agent config
• Moving the files around

[Copilot]

Pull request overview

Adds a user-level “agent config” feature to the ai Home Manager module, so shared AI-agent instruction files can be installed into a user’s home directory across machines/users.

Changes:

• Introduce dotfiles.ai.agentConfig.enable in modules/ai/default.nix and deploy a shared instructions file into ~/.claude/ and ~/.copilot/.
• Enable the new ai.agentConfig option for both erik and erasmussen user configurations.
• Add module-local documentation clarifying the scope of the deployed instructions vs repo-scoped AGENTS.md.

Reviewed changes

Copilot reviewed 5 out of 5 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
users/erik/default.nix	Enables the new dotfiles.ai.agentConfig option for Erik’s Home Manager config.
users/erasmussen/default.nix	Enables the new dotfiles.ai.agentConfig option for Erasmussen’s Home Manager config.
modules/ai/default.nix	Adds an agentConfig sub-option under dotfiles.ai and installs user-level agent instruction files.
modules/ai/AGENTS.md	Documents the difference between repo-scoped AGENTS.md and deployed user-level agent instructions.
modules/ai/agent-instructions.md	Provides the shared user-level agent instruction content to be deployed into home directories.

Comments suppressed due to low confidence (1)

modules/ai/AGENTS.md:10

• Same Markdown issue here: the second sentence isn’t indented, so it will likely render outside the bullet item. Indent the continuation line to keep the list formatting correct.

- This file, `AGENTS.md`, is not deployed anywhere.
It documents this specific directory for agents working in this repo, same as any other `AGENTS.md` in the tree.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.