user_get_permissions
Retrieve user permissions for Crafty controller and individual servers by providing a user ID.
Instructions
Get a user's Crafty and per-server permissions
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| user_id | Yes | User ID or '@me' |
Implementation Reference
- src/tools/users.ts:101-114 (handler)The implementation and registration of the user_get_permissions tool.
server.tool( "user_get_permissions", "Get a user's Crafty and per-server permissions", { user_id: z.string().describe("User ID or '@me'") }, async ({ user_id }) => { try { const data = await client.get(`/users/${user_id}/permissions`); return { content: [{ type: "text", text: JSON.stringify(data, null, 2) }] }; } catch (error) { const msg = error instanceof Error ? error.message : String(error); return { content: [{ type: "text", text: `Error: ${msg}` }], isError: true }; } } );