alokHexLuthor0.1.0

Lean 4 hex color syntax with inline VS Code color preview

HexLuthor

Lean 4 hex color syntax with inline VS Code/Cursor visualization.

Demo

Features

  • Custom #xRRGGBB syntax
  • Semantic text coloring - hex literals render in their actual color
  • Interactive color picker - click the color swatch to open a full palette, pick a new color, and it updates your code automatically (2-way sync!)
  • Infoview widgets - color preview with swatch and name in the Lean infoview panel
  • Human-friendly color names - CSS standard names, closest match for non-exact colors

Usage

import HexLuthor

open HexLuthor

#check #xFF0000  -- Red
#check #x4169E1  -- RoyalBlue

def myColor : Hex := #x00CED1  -- DarkTurquoise

Import Options

ImportWhat you get
import HexLuthorEverything (recommended)
import HexLuthor.WidgetSyntax + elaborator + widgets
import HexLuthor.SyntaxJust syntax declaration
import HexLuthor.HexCore type only (no ProofWidgets)

Installation

Add to your lakefile.toml:

[[require]]
name = "HexLuthor"
git = "https://github.com/alok/HexLuthor"
rev = "main"

Then lake update.

VS Code / Cursor Extension

For semantic text coloring and the interactive color picker, install the bundled extension:

# VS Code
code --install-extension vscode-hexluthor/hexluthor-colors-*.vsix

# Cursor
cursor --install-extension vscode-hexluthor/hexluthor-colors-*.vsix

The extension provides:

  • Text colored as the actual hex color
  • Clickable color swatches that open a full color picker
  • 2-way sync: pick a color visually and your code updates

License

Apache 2.0