A collection of Singpath verifiers runnable from within a JVM - View it on GitHub