How do I install Unicode Logic Kit?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

Is Unicode Logic Kit official?

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

This listing scores 55 (Fair). The formula is published on the methodology page.

Name: Unicode Logic Kit MCP Server
Author: fvossel

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

Registryfvossel

55Fair

~/Library/Application Support/Claude/claude_desktop_config.json

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

75Good

Google PageSpeed Insights and CrUX: six workflow tools for web performance.

Registryruslanlap72 stars500/wk

73Good

Evidence-backed crypto due diligence with sources, freshness, and a runtime receipt on every call.

Unicode Logic Kit MCP Server | MCPpedia