Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
With no output schema, no parameter descriptions, and only sparse annotations, the description should explain expected return values, failure modes, and parameter semantics. It explains the high-level flow but omits what the agent will receive back and what happens when proof is not confirmed, leaving meaningful gaps for a mutating operation.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.