https://bsky.app/profile/jessealama.net/post/3ma6dntdh4n2c
@jessealama.net on Bluesky
Dec 17, 2025 - TIL there's a JSON Schema validator for #lean at https://github.com/CAIMEOX/json-schema-lean It seems to be abandoned, though (no activity for a year).
bluesky