The SciPy verifier for SingPath