Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnlyHint, idempotentHint, non-destructive, and closed-world, so the safety profile is covered. The description adds one genuinely useful trait, "without an LLM" (deterministic, non-model-generated explanation) and hints that output reports limits on what can be proven. It does not say what happens on an invalid plan or what the explanation contains.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.