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.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "get_preferred_profile"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||