MCP Logic

Overview

MCP Logic is a fully functional AI Logic Calculator that utilizes Prover9/Mace4 through a Python-based Model Context Protocol. It is designed for users looking to perform complex logic calculations on Windows, Linux, and within the Claude App.