alex 06a4a27880 fix: StartToolModal hardcoded tool types caused UUID parse error ...

- Fetch real tool types from API instead of hardcoded string names
- Use actual tool type UUID (id) as select value
- Remove fake 'terminal' option — terminal is a feature, not a tool type
- Show display_name in dropdown, handle loading/error states

Quality gates: tsc --noEmit clean

2026-06-01 20:36:31 +02:00

..

api

fix: workspace delete mixed-content error via top-level endpoint

2026-06-01 20:03:24 +02:00

web

fix: StartToolModal hardcoded tool types caused UUID parse error

2026-06-01 20:36:31 +02:00