get_preferred_profile
Retrieve the user's default profile ID and name to use in profile-scoped tools, preventing empty results from querying the wrong profile.
Instructions
Return the user's preferred (default) profile — its id and name — from GET /api/preferences. TIE profiles are configuration lenses, not containers; one is marked preferred. Use this profileId by default in profile-scoped tools unless the user explicitly names a different profile. Prevents querying the wrong profile and getting empty results.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||