fix: Tool permission by extend workspace manager#3474

Closed

shaohuzhang1 wants to merge 2 commits intov2from

pr@v2@fix_tool_permission_by_extend_workspace_manager

Commits on Jul 3, 2025

Document enter permission
zhanweizhang7
committed

Commits on Jul 4, 2025

fix: Tool permission by extend workspace manager
zhanweizhang7
committed