MCP Server Finder

MCP Servers for logic

m
mcp-logic

by angrysky56

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

logic133