angrysky56/mcp-logic

angrysky56/mcp‑logic provides a Python‑based Model Context Protocol server that lets AI assistants call Prover9/Mace4 logic tools through a standard API/SDK/CLI