Get User

Returns a user's public profile information by username

Usage #

// Import the typed helper
import { getUser } from "@hotglue/sdk/github";
const result = await client.execute({
...getUser({
username: string,
}),
userId: "user_123",
});
// result is typed as GetUserOutput
const result = await client.execute({
integration: "github",
tool: "get_user",
userId: "user_123",
input: {
username: string,
},
});
// The agent will automatically use this tool when needed
const agent = new Agent({
tools: () => hotglueTools({
integrations: ["github"],
userId: "user_123",
}),
});
await agent.generate("run the Get User tool");

Input Schema #

username string required

The handle for the GitHub user account

Output Schema #

id int required
login string required
name string
email string
avatar_url string
bio string
public_repos int
followers int
following int

This tool calls: #

GET https://api.github.com/users/{username}