specinfer (pypi): specinfer
Keywords: specinfer