microsoft/pyright ? reverse-engineered prompt