IBM Carbon Design System Theme

Name: IBM Carbon Design System Theme
Author: achkasov

Publisher: achkasovThemes in package: 8

Color theme based on IBM Carbon Design System

GitHub

Color themes

VS Code preview

Full workbench mockup using this variant's colors and tokenColors.

IBM Carbon Design System Theme — IBM Carbon Gray 90 (alternative code highlighting)

fetchUser.ts

index.ts

README.md

srccomponentsfetchUser.tsfetchUser

Problems1

Output

Debug Console

Terminal

Ports

~/my-project $ pnpm dev
▲ Next.js ready on http://localhost:3000
✓ compiled client and server successfully in 412ms
wait - compiling /theme/vscode...
~/my-project

main*

Copilot

Ln 5, Col 12

Spaces: 2

UTF-8

TypeScript

Dark+

colors

Workbench UI color keys from the theme JSON colors map.

actionBar.toggledBackground#383a49
activityBar.activeBackground#393939
activityBar.activeBorder#4589ff
activityBar.activeFocusBorder#ffffff
activityBar.background#262626
activityBar.border#39393900
activityBar.foreground#f4f4f4
activityBar.inactiveForeground#c6c6c6
activityBarBadge.background#0043ce
activityBarBadge.foreground#ffffff
activityBarTop.activeBackground#393939
activityBarTop.activeBorder#393939
activityBarTop.background#262626
activityBarTop.foreground#f4f4f4
activityBarTop.inactiveForeground#8d8d8d
badge.background#0043ce
badge.foreground#ffffff
banner.iconForeground#4589ff
breadcrumb.activeSelectionForeground#ffffff
breadcrumb.background#26262600
breadcrumb.focusForeground#a6c8ff
breadcrumb.foreground#78a9ff
button.background#0f62fe
button.foreground#ffffff
button.hoverBackground#0353e9
button.secondaryBackground#6f6f6f
button.secondaryForeground#ffffff
button.secondaryHoverBackground#606060
checkbox.background#39393900
checkbox.border#f4f4f4
checkbox.foreground#f4f4f4
checkbox.selectBackground#f4f4f4
checkbox.selectBorder#4589ff
commentsView.resolvedIcon#f4f4f425
commentsView.unresolvedIcon#f4f4f4
debugConsoleInputIcon.foreground#c6c6c6
debugExceptionWidget.background#393939
debugExceptionWidget.border#6f6f6f
debugIcon.breakpointCurrentStackframeForeground#f1c21b
debugIcon.breakpointDisabledForeground#f4f4f425
debugIcon.breakpointForeground#ff8389
debugIcon.breakpointStackframeForeground#42be65
debugIcon.breakpointUnverifiedForeground#f1c21b
debugIcon.continueForeground#4589ff
debugIcon.disconnectForeground#ff8389
debugIcon.pauseForeground#4589ff
debugIcon.restartForeground#42be65
debugIcon.startForeground#42be65
debugIcon.stepBackForeground#4589ff
debugIcon.stepIntoForeground#4589ff
debugIcon.stepOutForeground#4589ff
debugIcon.stepOverForeground#4589ff
debugIcon.stopForeground#ff8389
debugToolBar.background#393939
debugToolBar.border#6f6f6f
diffEditor.border#525252
diffEditor.insertedTextBackground#0f62fe3d
diffEditor.insertedTextBorder#00000000
diffEditor.removedTextBackground#da1e283d
diffEditor.removedTextBorder#00000000
dropdown.background#525252
dropdown.border#8d8d8d
dropdown.foreground#f4f4f4
dropdown.listBackground#393939
editor.background#262626
editor.findMatchBackground#0f62fe
editor.findMatchHighlightBackground#8d8d8d66
editor.findMatchHighlightBorder#8d8d8d
editor.findRangeHighlightBackground#8d8d8d28
editor.foldBackground#0000003d
editor.foreground#f4f4f4
editor.hoverHighlightBackground#8d8d8d00
editor.inactiveSelectionBackground#8d8d8d28
editor.lineHighlightBackground#8d8d8d28
editor.lineHighlightBorder#ff000000
editor.rangeHighlightBackground#8d8d8d66
editor.rangeHighlightBorder#ff000000
editor.selectionBackground#005eff97
editor.selectionForeground#161616
editor.selectionHighlightBackground#8d8d8d66
editor.selectionHighlightBorder#8d8d8d
editor.wordHighlightBackground#8d8d8d00
editor.wordHighlightStrongBackground#393939
editor.wordHighlightStrongBorder#4589ff
editorBracketMatch.background#8d8d8d66
editorBracketMatch.border#8d8d8d
editorCodeLens.foreground#8d8d8d
editorCursor.background#161616
editorCursor.foreground#4589ff
editorError.background#00000000
editorError.foreground#ff8389
editorGroup.border#52525200
editorGroup.emptyBackground#262626
editorGroupHeader.border#39393900
editorGroupHeader.noTabsBackground#26262600
editorGroupHeader.tabsBackground#26262600
editorGroupHeader.tabsBorder#39393900
editorGutter.addedBackground#24a148
editorGutter.background#262626
editorGutter.commentRangeForeground#6f6f6f
editorGutter.deletedBackground#da1e28
editorGutter.foldingControlForeground#6f6f6f
editorGutter.modifiedBackground#f1c21b
editorHoverWidget.background#393939
editorHoverWidget.border#525252
editorHoverWidget.foreground#f4f4f4
editorHoverWidget.highlightForeground#0f62fe
editorHoverWidget.statusBarBackground#393939
editorIndentGuide.activeBackground1#525252
editorIndentGuide.background1#2626263d
editorInfo.background#00000000
editorInfo.foreground#4589ff
editorInlayHint.background#e5e5e500
editorInlayHint.foreground#6f6f6f
editorLineNumber.activeForeground#c6c6c6
editorLineNumber.foreground#525252
editorLink.activeForeground#a6c8ff
editorMarkerNavigation.background#393939
editorMarkerNavigationError.background#da1e28
editorMarkerNavigationInfo.background#0043ce
editorMarkerNavigationWarning.background#f1c21b
editorOverviewRuler.background#8d8d8d00
editorOverviewRuler.border#39393900
editorRuler.foreground#525252
editorSuggestWidget.background#393939
editorSuggestWidget.border#ffffff
editorSuggestWidget.focusHighlightForeground#a6c8ff
editorSuggestWidget.foreground#c6c6c6
editorSuggestWidget.highlightForeground#a6c8ff
editorSuggestWidget.selectedBackground#525252
editorSuggestWidget.selectedForeground#f4f4f4
editorSuggestWidget.selectedIconForeground#f4f4f4
editorSuggestWidgetStatus.foreground#f4f4f4
editorWarning.foreground#f1c21b
editorWhitespace.foreground#161616
editorWidget.background#393939
editorWidget.border#6f6f6f
editorWidget.foreground#f4f4f4
editorWidget.resizeBorder#ffffff
extensionIcon.preReleaseForeground#42be65
extensionIcon.sponsorForeground#ff8389
extensionIcon.starForeground#f1c21b
extensionIcon.verifiedForeground#4589ff
focusBorder#ffffff
foreground#f4f4f4
gitDecoration.addedResourceForeground#f4f4f4
gitDecoration.conflictingResourceForeground#f1c21b
gitDecoration.deletedResourceForeground#ff8389
gitDecoration.ignoredResourceForeground#6f6f6f
gitDecoration.modifiedResourceForeground#f4f4f4
gitDecoration.stageDeletedResourceForeground#f1c21b
gitDecoration.stageModifiedResourceForeground#f1c21b
gitDecoration.submoduleResourceForeground#4589ff
gitDecoration.untrackedResourceForeground#6f6f6f
icon.foreground#c6c6c6
input.background#393939
input.border#525252
input.foreground#f4f4f4
input.placeholderForeground#6f6f6f
inputOption.activeBackground#0f62fe
inputOption.activeBorder#4589ff
inputOption.activeForeground#ffffff
list.activeSelectionBackground#6f6f6f
list.activeSelectionForeground#f4f4f4
list.activeSelectionIconForeground#f4f4f4
list.dropBackground#464646
list.errorForeground#fa4d56
list.focusAndSelectionOutline#ffffff00
list.focusBackground#52525200
list.focusForeground#f4f4f4
list.focusOutline#ffffff
list.highlightForeground#f4f4f4
list.hoverBackground#464646
list.hoverForeground#f4f4f4
list.inactiveSelectionBackground#525252
list.inactiveSelectionForeground#f4f4f4
list.inactiveSelectionIconForeground#f4f4f4
list.invalidItemForeground#ff8389
list.warningForeground#f4f4f4
listFilterWidget.background#525252
listFilterWidget.noMatchesOutline#fa4d56
listFilterWidget.outline#6f6f6f
listFilterWidget.shadow#00000033
menu.background#393939
menu.border#393939
menu.foreground#c6c6c6
menu.selectionBackground#474747
menu.selectionBorder#ffffff00
menu.selectionForeground#f4f4f4
menu.separatorBackground#6f6f6f
menubar.selectionBackground#8d8d8d28
menubar.selectionBorder#ffffff00
menubar.selectionForeground#f4f4f4
merge.commonContentBackground#4d53583d
merge.commonHeaderBackground#6970773d
merge.currentContentBackground#005d5d3d
merge.currentHeaderBackground#007d793d
merge.incomingContentBackground#00539a3d
merge.incomingHeaderBackground#0072c33d
minimap.background#8d8d8d00
minimap.errorHighlight#ffb3b8
minimap.findMatchHighlight#8d8d8d66
minimap.infoHighlight#0f62fe
minimap.selectionHighlight#005eff97
minimap.selectionOccurrenceHighlight#8d8d8d66
minimap.warningHighlight#f1c21b
minimapGutter.addedBackground#42be65
minimapGutter.deletedBackground#ffb3b8
minimapGutter.modifiedBackground#f1c21b
minimapSlider.activeBackground#8d8d8d66
minimapSlider.background#8d8d8d3d
minimapSlider.hoverBackground#8d8d8d28
notebookStatusErrorIcon.foreground#ff8389
notebookStatusRunningIcon.foreground#f4f4f4
notebookStatusSuccessIcon.foreground#42be65
notificationCenter.border#8d8d8d
notificationCenterHeader.background#525252
notificationCenterHeader.foreground#f4f4f4
notificationLink.foreground#78a9ff
notifications.background#393939
notifications.border#e5e5e500
notifications.foreground#f4f4f4
notificationsErrorIcon.foreground#ff8389
notificationsInfoIcon.foreground#4589ff
notificationsWarningIcon.foreground#f1c21b
notificationToast.border#e5e5e500
panel.background#262626
panel.border#393939
panelSection.border#393939
panelTitle.activeBorder#4589ff
panelTitle.activeForeground#f4f4f4
panelTitle.inactiveForeground#c6c6c6
peekView.border#4589ff
peekViewEditor.background#161616
peekViewEditor.matchHighlightBackground#8d8d8d66
peekViewEditor.matchHighlightBorder#8d8d8d
peekViewEditorGutter.background#161616
peekViewResult.background#1e1e1e
peekViewResult.fileForeground#c6c6c6
peekViewResult.lineForeground#c6c6c6
peekViewResult.matchHighlightBackground#16161600
peekViewResult.selectionBackground#0f62fe
peekViewResult.selectionForeground#f4f4f4
peekViewTitle.background#0f62fe
peekViewTitleDescription.foreground#d0e2ff
peekViewTitleLabel.foreground#ffffff
pickerGroup.border#525252
pickerGroup.foreground#8d8d8d
ports.iconRunningProcessForeground#369432
progressBar.background#4589ff
scrollbar.shadow#00000033
scrollbarSlider.activeBackground#8d8d8d66
scrollbarSlider.background#8d8d8d3d
scrollbarSlider.hoverBackground#8d8d8d28
selection.background#005eff97
settings.checkboxBackground#39393900
settings.checkboxBorder#f4f4f4
settings.checkboxForeground#f4f4f4
settings.dropdownBackground#393939
settings.dropdownBorder#525252
settings.dropdownForeground#f4f4f4
settings.dropdownListBorder#525252
settings.focusedRowBackground#8d8d8d3d
settings.focusedRowBorder#52525200
settings.headerBorder#8d8d8d00
settings.headerForeground#f4f4f4
settings.modifiedItemIndicator#4589ff
settings.numberInputBackground#393939
settings.numberInputBorder#525252
settings.numberInputForeground#f4f4f4
settings.rowHoverBackground#8d8d8d28
settings.sashBorder#525252
settings.settingsHeaderHoverForeground#ffffff
settings.textInputBackground#393939
settings.textInputBorder#525252
settings.textInputForeground#f4f4f4
sideBar.background#393939
sideBar.border#16161600
sideBar.dropBackground#6f6f6f
sideBar.foreground#c6c6c6
sideBarActivityBarTop.border#393939
sideBarSectionHeader.background#26262600
sideBarSectionHeader.border#525252
sideBarSectionHeader.foreground#f4f4f4
sideBarTitle.background#393939
sideBarTitle.foreground#f4f4f4
sideBySideEditor.verticalBorder#525252
statusBar.background#161616
statusBar.border#393939
statusBar.debuggingBackground#a2191f
statusBar.debuggingBorder#fa4d56
statusBar.debuggingForeground#ffd7d9
statusBar.foreground#c6c6c6
statusBar.noFolderBackground#6929c4
statusBar.noFolderBorder#a56eff
statusBar.noFolderForeground#e8daff
statusBarItem.activeBackground#ffffff66
statusBarItem.compactHoverBackground#6f6f6f66
statusBarItem.errorBackground#da1e28
statusBarItem.errorForeground#f4f4f4
statusBarItem.errorHoverBackground#ba1b23
statusBarItem.errorHoverForeground#ffffff
statusBarItem.focusBorder#ffffff
statusBarItem.hoverBackground#6f6f6f66
statusBarItem.hoverForeground#f4f4f4
statusBarItem.offlineBackground#f1c21b
statusBarItem.offlineForeground#f4f4f4
statusBarItem.offlineHoverBackground#ff832b
statusBarItem.offlineHoverForeground#d0e2ff
statusBarItem.prominentBackground#0f62fe
statusBarItem.prominentForeground#f4f4f4
statusBarItem.prominentHoverBackground#0353e9
statusBarItem.prominentHoverForeground#ffffff
statusBarItem.remoteBackground#0f62fe00
statusBarItem.remoteForeground#78a9ff
statusBarItem.remoteHoverBackground#8d8d8d28
statusBarItem.remoteHoverForeground#a6c8ff
statusBarItem.warningBackground#f1c21b
statusBarItem.warningForeground#f4f4f4
statusBarItem.warningHoverBackground#ff832b
statusBarItem.warningHoverForeground#ffffff
symbolIcon.arrayForeground#c6c6c6
symbolIcon.booleanForeground#c6c6c6
symbolIcon.classForeground#c6c6c6
symbolIcon.colorForeground#c6c6c6
symbolIcon.constantForeground#c6c6c6
symbolIcon.constructorForeground#c6c6c6
symbolIcon.enumeratorForeground#c6c6c6
symbolIcon.enumeratorMemberForeground#c6c6c6
symbolIcon.eventForeground#c6c6c6
symbolIcon.fieldForeground#c6c6c6
symbolIcon.fileForeground#c6c6c6
symbolIcon.folderForeground#c6c6c6
symbolIcon.functionForeground#c6c6c6
symbolIcon.interfaceForeground#c6c6c6
symbolIcon.keyForeground#c6c6c6
symbolIcon.keywordForeground#c6c6c6
symbolIcon.methodForeground#c6c6c6
symbolIcon.moduleForeground#c6c6c6
symbolIcon.namespaceForeground#c6c6c6
symbolIcon.nullForeground#c6c6c6
symbolIcon.numberForeground#c6c6c6
symbolIcon.objectForeground#c6c6c6
symbolIcon.operatorForeground#c6c6c6
symbolIcon.packageForeground#c6c6c6
symbolIcon.propertyForeground#c6c6c6
symbolIcon.referenceForeground#c6c6c6
symbolIcon.snippetForeground#c6c6c6
symbolIcon.stringForeground#c6c6c6
symbolIcon.structForeground#c6c6c6
symbolIcon.textForeground#c6c6c6
symbolIcon.typeParameterForeground#c6c6c6
symbolIcon.unitForeground#c6c6c6
symbolIcon.variableForeground#c6c6c6
tab.activeBackground#26262600
tab.activeBorder#4589ff
tab.activeBorderTop#26262600
tab.activeForeground#f4f4f4
tab.border#26262600
tab.hoverBackground#8d8d8d28
tab.inactiveBackground#26262600
tab.inactiveForeground#c6c6c6
tab.lastPinnedBorder#cccccc33
tab.unfocusedActiveBorder#8d8d8d
tab.unfocusedActiveForeground#f4f4f4
tab.unfocusedHoverBackground#8d8d8d28
tab.unfocusedHoverBorder#8d8d8d
terminal.ansiBlack#262626
terminal.ansiBlue#4589ff
terminal.ansiBrightBlack#525252
terminal.ansiBrightBlue#d0e2ff
terminal.ansiBrightCyan#9ef0f0
terminal.ansiBrightGreen#a7f0ba
terminal.ansiBrightMagenta#e8daff
terminal.ansiBrightRed#f14c4c
terminal.ansiBrightWhite#f4f4f4
terminal.ansiBrightYellow#f1c21b
terminal.ansiCyan#009d9a
terminal.ansiGreen#24a148
terminal.ansiMagenta#a56eff
terminal.ansiRed#da1e28
terminal.ansiWhite#c6c6c6
terminal.ansiYellow#ff832b
terminal.background#262626
terminal.border#393939
terminal.foreground#c6c6c6
terminal.inactiveSelectionBackground#3a3d41
terminal.selectionBackground#8d8d8d3d
terminalCursor.foreground#4589ff
testing.iconErrored#ff8389
testing.iconErrored.retired#da1e28
testing.iconFailed#ff8389
testing.iconFailed.retired#da1e28
testing.iconPassed#42be65
testing.iconPassed.retired#24a148
testing.iconQueued#f1c21b
testing.iconQueued.retired#f1c21b
testing.iconSkipped#f4f4f425
testing.iconSkipped.retired#f4f4f425
testing.iconUnset#f4f4f425
testing.iconUnset.retired#f4f4f425
textLink.foreground#78a9ff
titleBar.activeBackground#262626
titleBar.activeForeground#c6c6c6
titleBar.border#39393900
titleBar.inactiveBackground#262626
titleBar.inactiveForeground#8d8d8d
tree.indentGuidesStroke#39393900
walkThrough.embeddedEditorBackground#00000050
welcomePage.background#393939
welcomePage.progress.background#525252
welcomePage.progress.foreground#4589ff
welcomePage.tileBackground#525252
welcomePage.tileBorder#6f6f6f
welcomePage.tileHoverBackground#636363
widget.border#6f6f6f
widget.shadow#00000033

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
meta.embedded, source.groovy.embedded, string meta.image.inline.markdown, variable.legacy.builtin.python	#f4f4f4	—
emphasis	—	italic
strong	—	bold
header	#be95ff	—
constant.language	#f4f4f4	—
variable.other.enummember, keyword.operator.plus.exponent, keyword.operator.minus.exponent	#f4f4f4	—
constant.regexp	#f4f4f4	—
entity.name.tag	#78a9ff	—
entity.name.tag.css, entity.name.tag.less	#78a9ff	—
entity.other.attribute-name	#9ef0f0	—
entity.other.attribute-name.class.css, source.css entity.other.attribute-name.class, entity.other.attribute-name.id.css, entity.other.attribute-name.parent-selector.css, entity.other.attribute-name.parent.less, source.css entity.other.attribute-name.pseudo-class, entity.other.attribute-name.pseudo-element.css, source.css.less entity.other.attribute-name.id, entity.other.attribute-name.scss	#be95ff	—
invalid	#da1e28	—
markup.underline	—	underline
markup.bold	#c6c6c6	bold
markup.heading	#78a9ff	bold
markup.italic	—	italic
markup.strikethrough	—	strikethrough
markup.inserted	#f4f4f4	—
markup.deleted	#6f6f6f	—
markup.changed	#ffffff	—
punctuation.definition.quote.begin.markdown	#ff7eb6	—
punctuation.definition.list.begin.markdown	#9ef0f0	—
markup.inline.raw	#ff7eb6	—
punctuation.definition.tag	#78a9ff	—
meta.preprocessor, entity.name.function.preprocessor	#be95ff	—
meta.preprocessor.string	#ff7eb6	—
meta.preprocessor.numeric	#f4f4f4	—
meta.structure.dictionary.key.python	#9ef0f0	—
meta.diff.header	#78a9ff	—
storage	#be95ff	—
storage.type	#be95ff	—
storage.modifier, keyword.operator.noexcept	#be95ff	—
string, meta.embedded.assembly, meta.interpolation	#33b1ff	—
string.tag	#78a9ff	—
string.value	#ff7eb6	—
string.regexp	#f4f4f4	—
punctuation.definition.template-expression.begin, punctuation.definition.template-expression.end, punctuation.section.embedded	#be95ff	—
meta.template.expression	#f4f4f4	—
support.type.vendored.property-name, support.type.property-name, source.css variable, source.coffee.embedded	#9ef0f0	—
keyword	#be95ff	—
keyword.control	#be95ff	—
keyword.operator	#be95ff
keyword.operator.new, keyword.operator.expression, keyword.operator.cast, keyword.operator.sizeof, keyword.operator.alignof, keyword.operator.typeid, keyword.operator.alignas, keyword.operator.instanceof, keyword.operator.logical.python, keyword.operator.wordlike	#be95ff	—
keyword.other.unit	#be95ff	—
punctuation.section.embedded.begin.php, punctuation.section.embedded.end.php	#78a9ff	—
support.function.git-rebase	#78a9ff	—
constant.sha.git-rebase	#f4f4f4	—
storage.modifier.import.java, variable.language.wildcard.java, storage.modifier.package.java	#be95ff	—
variable.language	#be95ff	—
comment	#007d79	italic
punctuation.definition.comment	#007d79	italic
string, constant.numeric, constant.language.boolean	#33b1ff	—
meta.embedded.assembly	#FF7EB6	—
keyword - keyword.operator	#BE95FF	—
keyword.control	#BE95FF	—
storage	#BE95FF	—
storage.type	#BE95FF	—
entity.name.function	#f4f4f4	—
support.function	#f4f4f4	—
—	#F4F4F4	—
—	#F4F4F4	—
entity.name.type	#F4F4F4	—
constant.language, enumMember, constant, punctuation, support, meta, entity	#F4F4F4	—
string.quoted.double.json, punctuation.definition.string.begin, punctuation.definition.string.end, punctuation.definition.string.begin.json, punctuation.definition.string.end.json, punctuation.definition.string.begin.css, punctuation.definition.string.end.css, string, string.quoted.single.js, punctuation.definition.string.begin.js, punctuation.definition.string.end.js, punctuation.definition.string.begin.json.comments, punctuation.definition.string.end.json.comments	#33b1ff	—
punctuation.definition.table.toml, support.type.property-name.table.toml, variable.language.this, keyword.operator.expression.typeof.js, keyword.other.unit, keyword, entity.other.attribute-name.pseudo-class.css, entity.other.attribute-name.class.css, punctuation.separator.key-value.html, string.quoted.double.html, punctuation.definition.string.begin.html, punctuation.definition.string.end.html, keyword.control, storage, storage.modifier, constant.language.json.comments, entity.name.function.preprocessor, punctuation.definition.directive.c	#BE95FF	—
meta.attribute.rust, punctuation.definition.attribute.rust, punctuation.brackets.attribute.rust, support.type.property-name, support.type.property-name.css, class, support.type.property-name.json, punctuation.support.type.property-name, entity.other.attribute-name, keyword.operator, keyword.operator.borrow.and.rust, punctuation.separator.dictionary.key-value.json	#f4f4f4
entity.name.tag.css, operator, punctuation.definition.tag, entity.name.tag	#78A9FF	—
emphasis	—	italic
invalid	—	—
markup	—	—
strong	—	bold
token.info-token	#0043ce	—
token.warn-token	#f1c21b	—
token.error-token	#da1e28	—
token.debug-token	#a56eff	—

Shiki preview

TypeScript sample highlighted with this variant's colors and tokenColors.

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}!`;
}