Convert mounted servers to MountedProvider#2635

Merged

jlowin merged 8 commits intomainfrom

dynamic-components

Dec 18, 2025

Commits on Dec 18, 2025

Move prefix utilities into mounted.py, deprecate import_server
jlowin
committed
Fix provider iteration order and remove dead _is_mounted flag
jlowin
committed
Add TaskComponents type and exception handling for provider task registration
jlowin
committed