Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the tool's complexity, the description covers the key operations, the paper/non-verdict status, storage side effects, absence of sealed Rust proof, return contents, and style options. An output schema exists, so return-value details need not be repeated, and the schema handles the remaining parameter descriptions.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.