What tools does the mcp-logic MCP server provide?

The tool list for mcp-logic has not been read. It is distributed as a local (stdio) package, which cannot be queried over a network without installing it.

Does mcp-logic require an API key?

Not known. mcp-logic has not been successfully queried, so its authentication requirements are unverified.

Connection check local install

mcp-logic

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

Tools —

GitHub stars 46

Installs / wk —

Licence MIT

Transport —

Last checked never

Tools & capabilities

0 tools

Distributed as a local package with no endpoint to query, and no tool declarations could be read from its published source.