zulip_get_users
Retrieve a list of users in your Zulip organization to manage team members and facilitate communication within the workspace.
Instructions
Get list of users in the Zulip organization
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Implementation Reference
- index.ts:509-514 (handler)Handler case for 'zulip_get_users' tool: calls ZulipClient.getUsers() and serializes the response as JSON text content.
case "zulip_get_users": { const response = await zulipClient.getUsers(); return { content: [{ type: "text", text: JSON.stringify(response) }], }; } - index.ts:355-362 (helper)ZulipClient helper method implementing the core logic to retrieve all users via the Zulip JS client API.
async getUsers() { try { return await this.client.users.retrieve(); } catch (error) { console.error("Error getting users:", error); throw error; } } - index.ts:215-222 (schema)Tool schema: defines name, description, and empty input schema (no parameters required).
const getUsersTool: Tool = { name: "zulip_get_users", description: "Get list of users in the Zulip organization", inputSchema: { type: "object", properties: {}, }, }; - index.ts:546-546 (registration)Registration of the tool in the ListTools response array.
getUsersTool,