Should tool argument annotations have a name?

[jwflicker]

For example, will developers want tool argument names to appear different for different user or LLM languages rather than just be the name of the java method parameter? Some users may work in non-english clients and/or LLMs

[tzolov]

@jwflicker, an optional name, that overrides the method name makes sense.