Provides automated reasoning for AI systems using the Prover9 and Mace4 theorem provers.
Visit MCP-Logic