mcp-logic

mcp-logic

3.5

If you are the rightful owner of mcp-logic and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.

MCP-Logic is an MCP server providing automated reasoning capabilities using Prover9/Mace4 for AI systems. It enables logical theorem proving and logical model verification through a clean MCP interface.

Comments

No comments yet. Be the first to comment!