Mace4

MCP-Logic

by angrysky56

MCP-Logic is an MCP server that provides automated reasoning capabilities using Prover9/Mace4 for AI...