Introduce DiagnosticsTool (#26670)

Release Notes:

- N/A
This commit is contained in:
Antonio Scandurra 2025-03-13 14:53:00 +01:00 committed by GitHub
parent 247ee880d2
commit 8cf5af1a84
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 167 additions and 49 deletions

View file

@ -0,0 +1,16 @@
Get errors and warnings for the project or a specific file.
This 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.
When a path is provided, shows all diagnostics for that specific file.
When no path is provided, shows a summary of error and warning counts for all files in the project.
<example>
To get diagnostics for a specific file:
{
"path": "src/main.rs"
}
To get a project-wide diagnostic summary:
{}
</example>