A static analysis tool for Python that blurs the line between testing and type systems. - View it on GitHub