1Get errors and warnings for the project or a specific file.
2
3This tool can be invoked after a series of edits to determine if further edits are necessary, or if the user asks to fix errors or warnings in their codebase.
4
5When a path is provided, shows all diagnostics for that specific file.
6When no path is provided, shows a summary of error and warning counts for all files in the project.
7
8<example>
9To get diagnostics for a specific file:
10{
11 "path": "src/main.rs"
12}
13
14To get a project-wide diagnostic summary:
15{}
16</example>
17
18IMPORTANT: When you're done making changes, you **MUST** get the **project** diagnostics (input: `{}`) at the end of your edits so you can fix any problems you might have introduced. **DO NOT** tell the user you're done before doing this!
19
20You may only attempt to fix these up to 3 times. If you have tried 3 times to fix them, and there are still problems remaining, you must not continue trying to fix them, and must instead tell the user that there are problems remaining - and ask if the user would like you to attempt to solve them further.