Quick and dirty client-side reasoner for Noctua - View it on GitHub