dune

Review Dune commits, PRs, or working tree changes using the repository review checklist. Use when the user asks for review-check, review checklist, or a code review that should follow doc/dev/prompts/review-check.md.

Reviews code changes for bugs, implementation quality, and test coverage. Use when reviewing commits, pull requests, or diffs.