The opentheory tool processes higher order logic theory packages.
The opentheory tool is being actively developed: the latest version is opentheory 1.3 (release 20171122). The opentheory tool is free software, released under the MIT License. To adapt the opentheory tool for your own application I recommend forking the development version.
To report a bug or request an enhancement, please file an issue at GitHub.