MCP Servers tagged "Logic"

A curated collection of the 1 best MCP servers tagged "Logic". Each listing includes usage guidelines and links to the MCP server.

Logic

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

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

Stars
26
Forks
5
Last commit
4 months ago