Real-time code feedback for pi — LSP, linters, formatters, type-checking, structural analysis & booboo