btw here's some sample widgets i had claude write today. click on the `#html` and `#widget` commands to see the component in the infoview live.lean-lang.org#codez=JYWwDg...

2 likes 0 replies