merge: align dev branch with main

2026-06-03 08:51:02 +00:00
parent 51a399c775
commit b39d6ce5f4
319 changed files with 30221 additions and 9221 deletions
@@ -26,6 +26,7 @@ User guides for each feature:
 - [Repositories](features/repositories.md) - Git repository management
 - [Workspace](features/workspace.md) - Repository workspace
 - [Git History](features/git-history.md) - History visualization
+- [Web Terminal](features/terminal.md) - Interactive terminal for tool instances
 - [Authentication](features/auth.md) - Login and user management
 - [Settings](features/settings.md) - User preferences
 - [Tool Types](features/tool-types.md) - Development tool management