Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
With no annotations, the description carries the full behavioral burden. It usefully discloses that only the in-memory session is dropped and SkyDemon's own files are untouched, which is important side-effect context. However, it omits postconditions such as whether subsequent API calls will fail until login and whether logout is idempotent or requires an existing session.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.