Other AGENTS.md files exist in subdirectories, refer to them for more specific context.
Prerequisites:
- PowerShell 7.x
- .NET 10 SDK
- Docker Desktop (required for
-Full)
Commands:
pwsh ./scripts/bootstrap.ps1pwsh ./scripts/validate.ps1 -Fast
Use pwsh ./scripts/validate.ps1 -Full for Aspire integration coverage.
Optional: pwsh ./scripts/install-githooks.ps1 to add a pre-commit validate -Fast hook.
More context:
src/AGENTS.mdsrc/docs/ASPIRE_SETUP.mdsrc/docs/ENVIRONMENT.md
Do not use bd/beads workflows in this repository unless a maintainer explicitly asks for it in the current task.
Use the plan/log files requested in the task (for example CodexPlan.md) plus normal git commits instead.
- Follow the MarkdownLint ruleset found at
https://raw.githubusercontent.com/DavidAnson/markdownlint/refs/heads/main/doc/Rules.md. - Verify updates by running MarkdownLint. Use
npx --yes markdownlint-cli2 ....--helpis available. - For MD013, override the guidance to allow for 120-character lines.
When updating documentation files, follow these guidelines:
- When writing technical documentation, act as a friendly peer engineer helping other developers to understand Grace as a project.
- When writing product-focused documentation, act as an expert product manager who helps a tech-aware audience understand Grace as a product, and helps end users understand how to use Grace effectively.
- Use clear, concise language; avoid jargon. The tone should be welcoming and informative.
- Structure content with headings and subheadings. Intersperse written (paragraph / sentence form) documentation with bullet points for readability.
- Keep documentation up to date with code changes; review related docs when modifying functionality. Explain all documentation changes clearly, both what is changing, and why it's changing.
- Show all scripting examples in both (first) PowerShell and (then, second) bash/zsh, where applicable. bash and zsh are always spelled in lowercase.
PowerShell:
$env:GRACE_SERVER_URI="http://localhost:5000"bash / zsh:
export GRACE_SERVER_URI="http://localhost:5000"