Claude VSCode Theme

Name: Claude VSCode Theme
Author: Alvin Unreal

Publisher: Alvin UnrealThemes in package: 4

Thoughtful dark theme collection with classic and italic variants. Inspired by Claude AI with carefully balanced contrast and warm syntax colors for long coding sessions.

Open in VS Code GitHub

Color themes

VS Code preview

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

Claude VSCode Theme — Claude Dark High Contrast

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.

activityBar.activeBackground#FF8C421a
activityBar.activeBorder#FF8C42
activityBar.activeFocusBorder#FF8C42
activityBar.background#121212
activityBar.border#52525233
activityBar.dropBorder#FF8C4233
activityBar.foreground#FF8C42
activityBar.inactiveForeground#525252
activityBarBadge.background#FF8C42
activityBarBadge.foreground#FFFFFF
activityBarTop.activeBorder#FF8C42
activityBarTop.dropBorder#FF8C4233
activityBarTop.foreground#FF8C42
activityBarTop.inactiveForeground#525252
badge.background#282828
badge.foreground#FFFFFF
breadcrumb.activeSelectionForeground#FF8C42
breadcrumb.background#000000
breadcrumb.focusForeground#FF8C42
breadcrumb.foreground#F0F0F0
breadcrumbPicker.background#0A0A0A
button.background#FF8C42
button.border#00000000
button.foreground#FFFFFF
button.hoverBackground#e67e3b
button.secondaryBackground#282828
button.secondaryForeground#FFFFFF
button.secondaryHoverBackground#363636
button.separator#FFFFFF4d
checkbox.background#282828
checkbox.border#52525233
checkbox.foreground#FF8C42
debugExceptionWidget.background#121212
debugExceptionWidget.border#FF9999
debugToolBar.background#121212
debugToolBar.border#52525233
descriptionForeground#E0E0E0
diffEditor.insertedLineBackground#9FFAAF1a
diffEditor.insertedTextBackground#9FFAAF26
diffEditor.removedLineBackground#FF99991a
diffEditor.removedTextBackground#FF999926
disabledForeground#F0F0F0
dropdown.background#0A0A0A
dropdown.border#FF8C42
dropdown.foreground#FFFFFF
dropdown.listBackground#282828
editor.background#000000
editor.findMatchBackground#FFBF7A4d
editor.findMatchHighlightBackground#FFBF7A26
editor.findRangeHighlightBackground#FFBF7A1a
editor.foreground#FFFFFF
editor.hoverHighlightBackground#FF8C421a
editor.inactiveSelectionBackground#FF8C4226
editor.lineHighlightBackground#FF8C420d
editor.lineHighlightBorder#00000000
editor.rangeHighlightBackground#FF8C421a
editor.selectionBackground#FF8C424d
editor.selectionHighlightBackground#FF8C4233
editor.wordHighlightBackground#FF8C4226
editor.wordHighlightStrongBackground#FF8C4240
editorBracketHighlight.foreground1#FF9999
editorBracketHighlight.foreground2#FFBF7A
editorBracketHighlight.foreground3#FFED7A
editorBracketHighlight.foreground4#9FFAAF
editorBracketHighlight.foreground5#8DD1FF
editorBracketHighlight.foreground6#D4ABFF
editorBracketHighlight.unexpectedBracket.foreground#FF9999
editorBracketMatch.background#FF8C4233
editorBracketMatch.border#FF8C42
editorCursor.foreground#FF8C42
editorError.foreground#FF9999
editorGroupHeader.border#52525233
editorGroupHeader.noTabsBackground#0A0A0A
editorGroupHeader.tabsBackground#0A0A0A
editorGroupHeader.tabsBorder#52525233
editorGutter.addedBackground#9FFAAF
editorGutter.background#000000
editorGutter.commentRangeForeground#6E6E6E
editorGutter.deletedBackground#FF9999
editorGutter.foldingControlForeground#525252
editorGutter.modifiedBackground#FFED7A
editorHint.foreground#7AEFFF
editorHoverWidget.background#0A0A0A
editorHoverWidget.border#363636
editorHoverWidget.foreground#FFFFFF
editorHoverWidget.statusBarBackground#121212
editorIndentGuide.activeBackground#363636
editorIndentGuide.background#282828
editorInfo.foreground#8DD1FF
editorLineNumber.activeForeground#FFFFFF
editorLineNumber.foreground#525252
editorLink.activeForeground#8DD1FF
editorRuler.foreground#363636
editorSuggestWidget.background#0A0A0A
editorSuggestWidget.border#363636
editorSuggestWidget.focusHighlightForeground#FF8C42
editorSuggestWidget.foreground#FFFFFF
editorSuggestWidget.highlightForeground#FF8C42
editorSuggestWidget.selectedBackground#FF8C4233
editorSuggestWidget.selectedForeground#FFFFFF
editorSuggestWidget.selectedIconForeground#FF8C42
editorWarning.foreground#FFED7A
editorWhitespace.foreground#363636
editorWidget.background#0A0A0A
editorWidget.border#363636
editorWidget.foreground#FFFFFF
editorWidget.resizeBorder#FF8C42
errorForeground#FF9999
focusBorder#FF8C42
foreground#FFFFFF
gitDecoration.addedResourceForeground#7BD88F
gitDecoration.conflictingResourceForeground#FB923C
gitDecoration.deletedResourceForeground#F87171
gitDecoration.ignoredResourceForeground#9CA3AF
gitDecoration.modifiedResourceForeground#FCD34D
gitDecoration.renamedResourceForeground#60A5FA
gitDecoration.stageDeletedResourceForeground#FCA5A5
gitDecoration.stageModifiedResourceForeground#FDE047
gitDecoration.submoduleResourceForeground#C084FC
gitDecoration.untrackedResourceForeground#4DD4E8
icon.foreground#FF8C42
input.background#0A0A0A
input.border#363636
input.foreground#FFFFFF
input.placeholderForeground#525252
inputOption.activeBackground#FF8C4233
inputOption.activeBorder#FF8C42
inputOption.activeForeground#FFFFFF
inputOption.hoverBackground#FF8C421a
inputValidation.errorBackground#0A0A0A
inputValidation.errorBorder#FF9999
inputValidation.errorForeground#FFFFFF
inputValidation.infoBackground#0A0A0A
inputValidation.infoBorder#8DD1FF
inputValidation.infoForeground#FFFFFF
inputValidation.warningBackground#0A0A0A
inputValidation.warningBorder#FFED7A
inputValidation.warningForeground#FFFFFF
list.activeSelectionBackground#FF8C4233
list.activeSelectionForeground#FFFFFF
list.activeSelectionIconForeground#FF8C42
list.dropBackground#FF8C4233
list.errorForeground#FF9999
list.focusBackground#FF8C4226
list.focusForeground#FFFFFF
list.focusHighlightForeground#FF8C42
list.highlightForeground#FF8C42
list.hoverBackground#FF8C421a
list.hoverForeground#FFFFFF
list.inactiveSelectionBackground#FF8C4226
list.inactiveSelectionForeground#FFFFFF
list.inactiveSelectionIconForeground#FF8C42
list.invalidItemForeground#FF9999
list.warningForeground#FFED7A
menu.background#0A0A0A
menu.foreground#FFFFFF
menu.selectionBackground#FF8C4233
menu.selectionBorder#00000000
menu.selectionForeground#FFFFFF
menu.separatorBackground#363636
menubar.selectionBackground#FF8C4233
menubar.selectionForeground#FFFFFF
minimap.background#000000
minimap.errorHighlight#FF9999
minimap.findMatchHighlight#FFBF7A
minimap.foregroundOpacity#000000aa
minimap.selectionHighlight#FF8C42
minimap.selectionOccurrenceHighlight#FF8C42
minimap.warningHighlight#FFED7A
minimapGutter.addedBackground#9FFAAF
minimapGutter.deletedBackground#FF9999
minimapGutter.modifiedBackground#FFED7A
minimapSlider.activeBackground#FF8C4266
minimapSlider.background#FF8C4233
minimapSlider.hoverBackground#FF8C424d
notificationCenter.border#52525233
notificationCenterHeader.background#121212
notificationCenterHeader.foreground#FFFFFF
notificationLink.foreground#8DD1FF
notifications.background#0A0A0A
notifications.border#52525233
notifications.foreground#FFFFFF
notificationsErrorIcon.foreground#FF9999
notificationsInfoIcon.foreground#8DD1FF
notificationsWarningIcon.foreground#FFED7A
notificationToast.border#52525233
panel.background#0A0A0A
panel.border#52525233
panel.dropBorder#FF8C4233
panelInput.border#363636
panelSection.border#363636
panelSection.dropBackground#FF8C4233
panelSectionHeader.background#121212
panelSectionHeader.foreground#FFFFFF
panelTitle.activeBorder#FF8C42
panelTitle.activeForeground#FFFFFF
panelTitle.inactiveForeground#525252
peekView.border#FF8C42
peekViewEditor.background#0A0A0A
peekViewEditorGutter.background#0A0A0A
peekViewResult.background#121212
peekViewResult.fileForeground#FFFFFF
peekViewResult.lineForeground#E0E0E0
peekViewResult.matchHighlightBackground#FFBF7A4d
peekViewResult.selectionBackground#FF8C4233
peekViewResult.selectionForeground#FFFFFF
peekViewTitle.background#121212
peekViewTitleDescription.foreground#E0E0E0
peekViewTitleLabel.foreground#FFFFFF
progressBar.background#FF8C42
sash.hoverBorder#FF8C42
scrollbar.shadow#12121280
scrollbarSlider.activeBackground#FF8C4266
scrollbarSlider.background#FF8C4233
scrollbarSlider.hoverBackground#FF8C424d
selection.background#FF8C424d
settings.checkboxBackground#0A0A0A
settings.checkboxBorder#363636
settings.checkboxForeground#FFFFFF
settings.dropdownBackground#0A0A0A
settings.dropdownBorder#363636
settings.dropdownForeground#FFFFFF
settings.dropdownListBorder#363636
settings.focusedRowBackground#FF8C421a
settings.focusedRowBorder#FF8C42
settings.headerForeground#FFFFFF
settings.modifiedItemIndicator#FF8C42
settings.numberInputBackground#0A0A0A
settings.numberInputBorder#363636
settings.numberInputForeground#FFFFFF
settings.rowHoverBackground#FF8C420d
settings.textInputBackground#0A0A0A
settings.textInputBorder#363636
settings.textInputForeground#FFFFFF
sideBar.background#0A0A0A
sideBar.border#52525233
sideBar.dropBackground#FF8C4233
sideBar.foreground#FFFFFF
sideBarSectionHeader.background#121212
sideBarSectionHeader.border#52525233
sideBarSectionHeader.foreground#FFFFFF
sideBarTitle.foreground#FFFFFF
statusBar.background#FF8C42
statusBar.border#52525233
statusBar.debuggingBackground#FFBF7A
statusBar.debuggingBorder#52525233
statusBar.debuggingForeground#FFFFFF
statusBar.foreground#FFFFFF
statusBar.noFolderBackground#D4ABFF
statusBar.noFolderBorder#52525233
statusBar.noFolderForeground#FFFFFF
statusBarItem.activeBackground#FFFFFF33
statusBarItem.errorBackground#FF9999
statusBarItem.errorForeground#FFFFFF
statusBarItem.hoverBackground#FFFFFF1a
statusBarItem.prominentBackground#00000000
statusBarItem.prominentForeground#FFFFFF
statusBarItem.prominentHoverBackground#FFFFFF1a
statusBarItem.remoteBackground#8DD1FF
statusBarItem.remoteForeground#FFFFFF
statusBarItem.warningBackground#FFED7A
statusBarItem.warningForeground#FFFFFF
tab.activeBackground#000000
tab.activeBorder#00000000
tab.activeBorderTop#FF8C42
tab.activeForeground#FFFFFF
tab.activeModifiedBorder#FFED7A
tab.border#52525233
tab.hoverBackground#FF8C421a
tab.hoverForeground#FFFFFF
tab.inactiveBackground#0A0A0A
tab.inactiveForeground#525252
tab.inactiveModifiedBorder#FFED7A80
tab.lastPinnedBorder#363636
tab.unfocusedActiveBorder#00000000
tab.unfocusedActiveBorderTop#FF8C4280
tab.unfocusedActiveForeground#FFFFFF
tab.unfocusedActiveModifiedBorder#FFED7A
tab.unfocusedHoverBackground#FF8C420d
tab.unfocusedHoverForeground#FFFFFF
tab.unfocusedInactiveForeground#525252
tab.unfocusedInactiveModifiedBorder#FFED7A80
terminal.ansiBlack#0D0D0D
terminal.ansiBlue#82C7FF
terminal.ansiBrightBlack#5A5A5A
terminal.ansiBrightBlue#AADDFF
terminal.ansiBrightCyan#99FFFF
terminal.ansiBrightGreen#AAFFBB
terminal.ansiBrightMagenta#DDBBFF
terminal.ansiBrightRed#FFAAAA
terminal.ansiBrightWhite#F0F0F0
terminal.ansiBrightYellow#FFF099
terminal.ansiCyan#66E8FF
terminal.ansiGreen#8FE99F
terminal.ansiMagenta#C49BFF
terminal.ansiRed#FF8A8A
terminal.ansiWhite#B8B8B8
terminal.ansiYellow#FFE066
terminal.background#000000
terminal.findMatchBackground#FFBF7A4d
terminal.findMatchHighlightBackground#FFBF7A26
terminal.foreground#FFFFFF
terminal.selectionBackground#FF8C424d
terminalCursor.background#000000
terminalCursor.foreground#FF8C42
textBlockQuote.background#0A0A0A
textBlockQuote.border#121212
textCodeBlock.background#0A0A0A
textLink.activeForeground#71a7cc
textLink.foreground#8DD1FF
textPreformat.foreground#FFFFFF
textSeparator.foreground#FF8C42
titleBar.activeBackground#121212
titleBar.activeForeground#FFFFFF
titleBar.border#52525233
titleBar.inactiveBackground#121212
titleBar.inactiveForeground#525252
tree.indentGuidesStroke#363636
tree.tableColumnsBorder#363636
tree.tableOddRowsBackground#1C1C1C4d
walkThrough.embeddedEditorBackground#0A0A0A
welcomePage.background#000000
welcomePage.progress.background#0A0A0A
welcomePage.progress.foreground#FF8C42
welcomePage.tileBackground#0A0A0A
welcomePage.tileBorder#363636
welcomePage.tileHoverBackground#FF8C421a
widget.shadow#1212124d
window.activeBorder#00000000
window.inactiveBorder#00000000

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
text, source, variable.other.readwrite, punctuation.definition.variable	#FFFFFF	—
comment, punctuation.definition.comment	#8A8A8A
string, punctuation.definition.string	#9FFAAF	—
constant.character.escape, constant.other.placeholder	#FF99D6	—
constant.numeric, constant.language, constant.language.boolean, constant.language.null, constant.language.undefined, variable.other.constant, entity.name.constant	#FFED7A	—
keyword, keyword.control, keyword.operator.word, keyword.operator.new, storage.type, storage.modifier, variable.language.this, variable.language.super, punctuation.definition.keyword	#D4ABFF	bold
keyword.operator, punctuation.accessor, punctuation.separator, punctuation.terminator, meta.brace	#7AEFFF	—
entity.name.function, meta.function-call, support.function, variable.function	#FFBF7A	—
entity.name.class, entity.name.type, entity.other.inherited-class, support.class, support.type, entity.name.namespace, entity.name.module	#8DD1FF	—
entity.name.interface, entity.name.trait	#8DD1FF	—
entity.name.enum	#8DD1FF	—
variable.other.enummember, constant.other.enum	#7AEFFF	—
variable.parameter, meta.function.parameters	#FF8C42	—
variable.other.property, meta.property.object, entity.name.tag.yaml, support.type.property-name	#B8B8B8	—
meta.decorator, meta.annotation, punctuation.decorator, punctuation.definition.decorator, storage.type.annotation	#FF99D6	—
string.regexp, constant.regexp, constant.character.character-class.regexp, constant.other.character-class.regexp, constant.other.character-class.set.regexp, punctuation.definition.character-class.regexp	#FF99D6	—
entity.name.tag, punctuation.definition.tag	#FF9999	—
entity.other.attribute-name, entity.other.attribute	#FFBF7A	—
support.constant, support.variable	#FFED7A	—
invalid, invalid.illegal	#FFFFFF	bold underline
markup.heading, punctuation.definition.heading	#8DD1FF	bold
markup.bold	#FFBF7A	bold
markup.italic	#FFBF7A	italic
markup.inline.raw, markup.raw, markup.fenced_code	#9FFAAF	—
markup.underline.link, string.other.link	#8DD1FF	underline
markup.list, punctuation.definition.list	#FF9999	—
markup.quote	#B8B8B8	—
punctuation, meta.brace.round, meta.brace.square, meta.brace.curly, punctuation.section, punctuation.definition.parameters, punctuation.definition.arguments	#6E6E6E	—
storage.modifier.async, storage.modifier.const, storage.modifier.static, storage.modifier.readonly	#D4ABFF	—
variable.language, variable.other.predefined	#D4ABFF	—
markup.inserted, meta.diff.header.to-file	#9FFAAF	—
markup.deleted, meta.diff.header.from-file	#FF9999	—
markup.changed	#FFED7A	—
meta.export variable.other.readwrite, meta.export variable.other.constant	#FF8C42	—
variable.other.property.js, variable.other.property.ts, variable.other.property.tsx, variable.other.property.jsx, meta.object-literal.key	#B8B8B8	—
variable.other.constant.js, variable.other.constant.ts, variable.other.constant.tsx, variable.other.constant.jsx	#FFED7A	—
string.template, punctuation.definition.template-expression	#9FFAAF	—
meta.template.expression, meta.embedded.line	#FFFFFF	—
variable.other.jsdoc, comment.block.documentation variable.other	#FF8C42	—
storage.type.class.jsdoc, punctuation.definition.block.tag.jsdoc	#D4ABFF	—
storage.type.function.arrow, keyword.operator.arrow	#7AEFFF	—
storage.modifier.async, keyword.control.flow.await	#D4ABFF	—
meta.decorator punctuation.decorator, meta.decorator variable.other.readwrite, meta.decorator entity.name.function	#FF99D6	—
keyword.control.import, keyword.control.export, keyword.control.from, keyword.control.as	#D4ABFF	—
support.type.object.module, support.type.object.console	#8DD1FF	—
meta.type.parameters, entity.name.type.parameter	#FFED7A	—
keyword.operator.expression.typeof, keyword.operator.expression.instanceof, keyword.operator.expression.in, keyword.operator.expression.of, keyword.operator.expression.keyof, keyword.operator.expression.is	#D4ABFF	—
entity.name.tag.jsx, entity.name.tag.tsx, support.class.component.jsx, support.class.component.tsx	#FF9999	—
entity.other.attribute-name.jsx, entity.other.attribute-name.tsx	#FFBF7A	—
punctuation.section.embedded.begin.jsx, punctuation.section.embedded.end.jsx, punctuation.section.embedded.begin.tsx, punctuation.section.embedded.end.tsx	#7AEFFF	—
meta.object-binding-pattern variable.other.readwrite, meta.array-binding-pattern variable.other.readwrite	#FF8C42	—
constant.language.null, constant.language.undefined	#D4ABFF	—
variable.language.special.self.python, variable.parameter.function.language.special.self.python	#D4ABFF	—
support.function.magic.python, entity.name.function.decorator.python	#FF99D6	—
string.interpolated.python, string.quoted.single.format.python, string.quoted.double.format.python	#9FFAAF	—
meta.interpolation.python, punctuation.definition.interpolation.python	#7AEFFF	—
entity.name.function.decorator.python, meta.function.decorator.python	#FF99D6	—
support.function.builtin.python	#8DD1FF	—
support.type.python	#8DD1FF	—
entity.name.type.class.python, meta.class.python entity.name.type.class	#8DD1FF	—
variable.parameter.function.python, meta.function.parameters.python	#FF8C42	—
meta.function.return-type.python, meta.function.parameters.annotation.python	#FFED7A	—
string.quoted.docstring.multi.python, string.quoted.docstring.single.python	#B8B8B8	—
keyword.control.flow.lambda.python	#D4ABFF	—
support.type.exception.python	#FF9999	—
keyword.control.import.python, keyword.control.import.from.python	#D4ABFF	—
storage.modifier.global.python, storage.modifier.nonlocal.python	#D4ABFF	—
entity.other.attribute-name.class.css, entity.other.attribute-name.class.scss, entity.other.attribute-name.id.css, entity.other.attribute-name.id.scss	#8DD1FF	—
entity.name.tag.css, entity.name.tag.scss, entity.name.tag.less	#FF9999	—
entity.other.attribute-name.pseudo-class.css, entity.other.attribute-name.pseudo-element.css	#7AEFFF	—
support.type.property-name.css, support.type.property-name.scss, meta.property-name.css, meta.property-name.scss	#B8B8B8	—
support.constant.property-value.css, support.constant.property-value.scss, meta.property-value.css, meta.property-value.scss	#FFBF7A	—
keyword.other.unit.css, keyword.other.unit.scss, constant.numeric.css, constant.numeric.scss	#FFED7A	—
constant.other.color.css, constant.other.color.scss, support.constant.color.css, support.constant.color.scss	#FF99D6	—
support.function.css, support.function.scss, meta.function.css, meta.function.scss	#FFBF7A	—
variable.css, variable.scss, variable.argument.css, variable.argument.scss	#FF8C42	—
keyword.other.important.css, keyword.other.important.scss	#FF9999	bold
keyword.control.at-rule.css, keyword.control.at-rule.scss, meta.at-rule.css, meta.at-rule.scss	#D4ABFF	—
support.type.property-name.media.css, support.type.property-name.media.scss	#B8B8B8	—
variable.scss, variable.sass, punctuation.definition.variable.scss	#FF8C42	—
entity.name.function.scss, entity.other.attribute-name.placeholder-selector.scss	#FFBF7A	—
entity.other.attribute-name.parent-selector.css, entity.name.tag.reference.scss	#FF9999	—
entity.name.tag.html, entity.name.tag.xml, entity.name.tag.localname.xml	#FF9999	—
punctuation.definition.tag.html, punctuation.definition.tag.begin.html, punctuation.definition.tag.end.html	#6E6E6E	—
entity.other.attribute-name.html, entity.other.attribute-name.xml	#FFBF7A	—
string.quoted.double.html, string.quoted.single.html, string.unquoted.html	#9FFAAF	—
constant.character.entity.html, constant.character.entity.xml	#FF99D6	—
meta.tag.metadata.doctype.html, entity.name.tag.doctype.html	#D4ABFF	—
string.unquoted.cdata.xml, punctuation.definition.string.begin.xml, punctuation.definition.string.end.xml	#B8B8B8	—
entity.name.tag.script.html	#8DD1FF	—
entity.name.tag.style.html	#8DD1FF	—
entity.other.attribute-name.id.html, entity.other.attribute-name.class.html	#FF8C42	—
entity.other.attribute-name.event.html	#FFED7A	—
entity.other.attribute-name.directive	#D4ABFF	—
markup.heading.markdown, punctuation.definition.heading.markdown	#8DD1FF	bold
markup.bold.markdown	#FFBF7A	bold
markup.italic.markdown	#FFBF7A	—
markup.inline.raw.markdown, markup.fenced_code.block.markdown	#9FFAAF	—
markup.underline.link.markdown, string.other.link.title.markdown	#8DD1FF	underline
punctuation.definition.list.begin.markdown, markup.list.unnumbered.markdown, markup.list.numbered.markdown	#FF9999	—
markup.quote.markdown	#B8B8B8	—
meta.separator.markdown	#6E6E6E	—

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