Unicode Logic Kit MCP Server: Install & Setup

Install Unicode Logic Kit in Claude Code

Claude Code

claude mcp add unicode-logic-kit -- uvx unicode-logic-kit

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "unicode-logic-kit": {
      "command": "uvx",
      "args": [
        "unicode-logic-kit"
      ]
    }
  }
}

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

Run: claude mcp add unicode-logic-kit -- uvx unicode-logic-kit

rachit1987/wonderkraftz-mcp

Browse and shop Wonderkraftz premium gifts. Recommendations, cart, and checkout via AI.

anthesiallc/storesignal-mcp

Shopify store intelligence: apps, tech stack, CDN, and market data over a 19K-store corpus.

gsabbih6/ripple-pay

Discover and buy digital products with XRP or RLUSD, with private downloads, orders and receipts.

PravinrajV/shoptrueprofit-fee-mcp

Etsy, eBay and Amazon FBA/FBM seller fees, profit, margin and target price, with sources.

Deall-International/nmjib-mcp

Korean semi-self interior renovation data: process order, schedules, checklists, cost ranges.

kisasa/shopify-mcp

Shopify Admin API tools: products, media, orders, customers, inventory, and sales channels