An automated theorem prover for the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI, which can be found here
This is built upon the SPASS system which can be found here: http://www.spass-prover.org/
It is written in python and uses the DCEC_Library which can be found here
An online version of this prover with great documentation can be found at: https://prover.cogsci.rpi.edu/DCEC_PROVER/