MCP-Logic
Category: research-and-data
Author: angrysky56
Language: Shell
Tags: ai,server,tool,logic,llm,claude-3-5-sonnet,mcp-server
Description: Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
Tools:
Server configuration: