The dcode tools command group: provision managed external tools.
dcode tools install fetches the pinned, SHA-256-verified ripgrep binary into
~/.deepagents/bin (the same managed path used on first run) and is also handy
for repairing a missing or stale rg. The install script calls this verb
instead of re-encoding the pinned version + checksum table in bash.
dcode tools list prints the tools available to the agent, grouped by source
(built-in tools, then per-server MCP tools), enumerated from the real tool
objects the agent binds so the output never drifts from what the model sees.
Help rendering for dcode tools -h / dcode tools install -h /
dcode tools list -h is served by ui.show_tools_help /
ui.show_tools_install_help / ui.show_tools_list_help, which do not import
this module, so the help path stays light.
