Microsoft publishes the Type Server Protocol

Kind of like LSP but specifically for type info. Could let tools share one type checker instead of everyone reimplementing Python's type system. Good idea or another protocol to babysit?