1 2 3 4 5
{ "$schema": "https://leanctx.dev/schema/grammar-registry-v1.json", "grammars": [], "registry_version": 1 }