Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations provided, the description carries the full burden. It discloses the key behavioral detail of clearing the stored session token, which is the core side effect. It does not mention edge cases like idempotency or failure when not logged in, but for a simple logout operation, this is adequate.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.