drio
Open app

MCP-Logic

Source

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

Catalog onlyCatalog onlySTDIO

Overview

MCP-Logic is a fully functional AI Logic Calculator that utilizes Prover9/Mace4 via Python-based Model Context Protocol (MCP-Server). It serves as a tool for automated reasoning and logical theorem proving, specifically designed for AI systems.

To use MCP-Logic, set up the MCP server by installing the necessary prerequisites, cloning the repository, and configuring the MCP environment. You can then run logical proofs and validate logical statements using the provided tools.

  • Seamless integration with Prover9 for automated theorem proving - Support for complex logical formulas and proofs - Built-in syntax validation - Clean MCP server interface - Extensive error handling and logging - Support for knowledge representation and reasoning about AI systems
  1. Validating AI knowledge models and reasoning chains
  2. Performing automated theorem proving for complex logical statements
  3. Ensuring the correctness of logical implications in AI systems

Add to your AI client

Use these steps to connect MCP-Logic in Cursor, Claude, VS Code, and other MCP-compatible apps. The same JSON appears in the Use with menu above for one-click copy.

Cursor

Add this to your .cursor/mcp.json file in your project root, then restart Cursor.

.cursor/mcp.json

{
  "mcpServers": {
    "mcp-logic-angrysky56": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-mcp-logic-angrysky56"
      ]
    }
  }
}

Claude Desktop

Add this server entry to the mcpServers object in your Claude Desktop config, then restart the app.

~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows)

{
  "mcpServers": {
    "mcp-logic-angrysky56": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-mcp-logic-angrysky56"
      ]
    }
  }
}

Claude Code

Add this to your project's .mcp.json file. Claude Code will detect it automatically.

.mcp.json (project root)

{
  "mcpServers": {
    "mcp-logic-angrysky56": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-mcp-logic-angrysky56"
      ]
    }
  }
}

VS Code (Copilot)

Add this to your .vscode/mcp.json file. Requires the GitHub Copilot extension with MCP support enabled.

.vscode/mcp.json

{
  "servers": {
    "mcp-logic-angrysky56": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-mcp-logic-angrysky56"
      ]
    }
  }
}

Windsurf

Add this to your Windsurf MCP config file, then restart Windsurf.

~/.codeium/windsurf/mcp_config.json

{
  "mcpServers": {
    "mcp-logic-angrysky56": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-mcp-logic-angrysky56"
      ]
    }
  }
}

Cline

Open Cline settings, navigate to MCP Servers, and add this server configuration.

Cline MCP Settings (via UI)

{
  "mcpServers": {
    "mcp-logic-angrysky56": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-mcp-logic-angrysky56"
      ]
    }
  }
}

FAQ

What is Prover9/Mace4?

Prover9 and Mace4 are automated theorem proving tools used for logical reasoning and model checking.

Is MCP-Logic free to use?

Yes! MCP-Logic is open-source and free to use for everyone.

What programming language is used?

MCP-Logic is implemented in Python and requires Python 3.12 or higher.

Research and data