Agent Cowork
Publisher: Adrian GruenbergThemes in package: 1
A modern VS Code extension that simplifies AI Agent co-working for non-technical users.
A modern VS Code extension that simplifies AI Agent co-working for non-technical users.
Full workbench mockup using this variant's colors and tokenColors.
Loading...
Workbench UI color keys from the theme JSON colors map.
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| comment, punctuation.definition.comment | #94a3b8 | italic |
| keyword, storage.type, storage.modifier, keyword.operator.new, keyword.operator.expression, keyword.operator.logical | #059669 | bold |
| keyword.control | #047857 | bold |
| string, string.quoted | #0d9488 | — |
| constant.numeric, constant.language.boolean | #d97706 | — |
| constant, constant.character, constant.other | #0284c7 | — |
| entity.name.function, meta.function-call, support.function | #0f766e | bold |
| entity.name.type, entity.name.class, support.type, support.class | #15803d | bold |
| variable, variable.other.readwrite, variable.parameter | #334155 | — |
| variable.other.property, variable.other.object.property, meta.object-literal.key, support.type.property-name | #047857 | — |
| punctuation, punctuation.terminator, punctuation.separator | #64748b | — |
| entity.name.tag, meta.tag.sgml | #059669 | — |
| entity.other.attribute-name | #0d9488 | — |
| support.type.property-name.json | #047857 | bold |
export interface User {
id: string;
name: string;
role: "admin" | "member";
tags: string[];
}
/**
* Fetch user data by ID
* @param id
* @returns User object or null if ID is invalid
*/
export async function fetchUser(id: string): Promise<User | null> {
if (!id) {
return null;
}
const response = await fetch(`/api/users/${id}`, {
method: "GET",
headers: { Accept: "application/json" },
});
if (!response.ok) {
throw new Error(`HTTP ${response.status}`);
}
return (await response.json()) as User;
}
function greet(user: User): string {
// Simple greeting function that uses the user's name
return `Hello, ${user.name}!`;
}