Global (EN)
Setup GuideSaved Tools
Back to All MCP Servers
M

Mcp Logic

Verified Integration
Author: @angrysky56•Category: ServerApplication
GitHub Repository
JSON-RPC 2.0
Protocol Standard
Sub-second
Execution Latency
Active
Operational Status
Tags:#Claude#Search#Database#API#Python#Git#AI#GitHub#Node.js

Client Configuration

— Connect Mcp Logic to Claude Desktop or Cursor in seconds
{
  "mcpServers": {
    "mcp-logic": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-mcp-logic"
      ],
      "env": {}
    }
  }
}
Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows).
Architecture & Capabilities

System Overview

Enables logical theorem proving and model verification for AI systems via a Model Context Protocol interface.

Indexed Date

7/23/2026

License

Open Source

Protocol Layer

stdio / SSE RPC

Frequently Asked Questions

Architecture and operational details for Mcp Logic

Key features include seamless integration with Prover9, support for complex logical formulas, built-in syntax validation, a clean MCP server interface, and extensive error handling and logging.

Related MCP Servers

Browse all servers →
C
@carboneio
Carbone

Empower AI assistants to generate and convert documents, manage templates, and automate document workflows efficiently.

ClaudeSearchDatabase+65 FAQs
Learn more
C
@sebastienrousseau
CloudCDN

Provides a multi-tenant, AI-native Content Delivery Network deployable on Cloudflare, featuring sub-100ms TTFB, AI agent controllability, and comprehensive accessibility.

ClaudeSearchDatabase+65 FAQs
Learn more
C

Deploy a Model Context Protocol server on Cloudflare Workers without requiring authentication.

ClaudeSearchDatabase+55 FAQs
Learn more