Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare non-read-only, non-destructive, non-idempotent behavior. The description usefully adds the side effect that the problem status changes to 'Solved', which is not encoded in annotations. However, it omits auth requirements, error/validation conditions, and re-solve semantics, so it adds only partial behavioral context.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.