{"agent":"codex","input":"A Linear issue labeled agent says: \"Add Health Checks to an ASP.NET Core App. Add /health/live and /health/ready endpoints with ASP.NET Core health checks, where ready checks the database, and return JSON with each check's status.\" Before changing anything, find where this solution already registers and maps health checks (AddHealthChecks, MapHealthChecks, any Aspire ServiceDefaults project) and whether the endpoints are limited to Development, and list it in the pull request. Extend that code rather than adding a second registration: live runs only the checks tagged live, ready runs a database check through the EF Core DbContext, and both write JSON with the overall status and each check's name, status and duration. Do not change which environments expose the endpoints unless the issue says so; ask in the pull request instead. Add tests in the existing functional or integration test project, including one where the database is unreachable, run dotnet restore, dotnet build and dotnet test until they pass, and open a pull request that links back to the issue.","resources":[{"url":"https://github.com/your-org/your-app"}]}