discord_get_role_members
Retrieve all Discord server members assigned to a specific role by providing guild and role IDs.
Instructions
List all members that have a specific role.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| guild_id | Yes | ||
| role_id | Yes |
Implementation Reference
- src/tools/roles.ts:186-192 (handler)The handler implementation for the `discord_get_role_members` tool which fetches guild members and lists them by role ID.
case "discord_get_role_members": { const guild = await discord.guilds.fetch(validateId(args.guild_id, "guild_id")); await guild.members.list({ limit: 1000 }); const role = await guild.roles.fetch(args.role_id as string) as Role; const members = role.members.map((m) => ({ id: m.id, username: m.user.tag, nickname: m.nickname })); return { content: [{ type: "text", text: JSON.stringify(members, null, 2) }] }; } - src/tools/roles.ts:90-101 (schema)The schema definition for the `discord_get_role_members` tool, specifying the required `guild_id` and `role_id` parameters.
{ name: "discord_get_role_members", description: "List all members that have a specific role.", inputSchema: { type: "object", properties: { guild_id: { type: "string" }, role_id: { type: "string" }, }, required: ["guild_id", "role_id"], }, },