Hi team! 👋 How can I use custom tools with RemoteWorkspace (local Docker)? I'm looking for the proper way to make custom tools available in the Docker container. When I register custom tools using register_tool(), they work fine with local workspaces but fail with RemoteWorkspace:

500 Internal Server Error: "ToolDefinition 'BashAndGrepToolSet' is not registe

I've posted a detailed GitHub issue with code examples and error traces here: GITHUB_ISSUE Any guidance would be greatly appreciated.

I think we already have an issue and draft PR open here: https://github.com/OpenHands/software-agent-sdk/issues/1381