Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnlyHint, idempotentHint, and destructiveHint=false, so "Read-only" largely repeats structured data. The description does add one real behavioral fact: proof is optional and, when supplied, additionally returns the caller's own bed — a meaningful distinction about output-dependent-on-auth. It says nothing about the cost of omitting proof beyond that.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.