mcp-logic
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!