Resolve the full tool list: the built-in framework-knowledge tools, the optional GitHub report tools, then the app's own tools.
The dev-server options.
The merged tool list.
Resolve the full tool list: the built-in framework-knowledge tools, the optional GitHub report tools, then the app's own tools.