dev_tools

There is no dev_tools module. Declaring tools.modules.dev_tools does nothing useful.

What to use instead

Need	Use
Lint / install / chat	`digitorn` CLI
Call an external HTTP API from an agent	`http` module
Third-party tool servers	`mcp`