A LSP server providing type hints

[Da1sypetals]

I have long been wondering why shape information is determined in compile time but there is no software displaying it right inside our editors.
I've been having this confusion for a long time since I started using triton, and finally I implemented (partially vibe coded...) cutile-typeviz, a LSP server to show type hints on VSCode (if your code compiles), or errors (if it doesn't).
Please mind that this thing is buggy!