Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
This server only runs locally, from a package. Install it with the instructions on this page to try it.
We don't run packages, so we can't list this server's tools.