Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the full burden, and it does disclose one useful behavioral detail: "Does not return tokens." However, it omits other traits an agent would want, such as whether the check is a local lookup or a server-side session validation, and whether calling it has any side effects.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.