MCP-Logic

Name: MCP-Logic
Author: angrysky56

@angrysky56

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

Other #ai #server #tool #logic #llm #claude-3-5-sonnet #mcp-server

Repository

Comments

Server config

{
  "mcpServers": {
    "mcp-logic": {
      "command": "python",
      "args": [
        "tests/test_enhancements.py"
      ]
    }
  }
}

Basic information

License: MIT
Runtime: python
Transports: stdio
Publisher: angrysky56

MCP-Logic

Comments

More from Other

Awesome Mcp Servers

Servers

Sequential Thinking

EverArt

Reactive Resume