Unicode Logic Kit

io.github.fvossel/unicode-logic-kit

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

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

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

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
0.35.0
Registry
active
Published
10/25/2026

More Developer Tools servers

Browse all Developer Tools →

CREW / CrewPay

fxams

Unsigned Pump/Bags/Zora/Clanker launches. mintPubkey required. Fees lock at launch.

Developer ToolsAdded 2 weeks ago

Tauri Documentation MCP

fxckcode

Read-only MCP server for official Tauri 2 documentation snapshots.

Developer ToolsAdded 1 month ago

Agent Commerce Guard

fxjim

Policy review and purchase discovery for AI-agent commerce actions.

Developer ToolsAdded 3 months ago

FXMacroData

fxmacrodata

Macroeconomic and FX time-series data for AI agents: indicators, calendars, COT, forex, commodities.

Developer ToolsAdded 7 months ago

io.github.fyllepo/qubic-mcp

fyllepo

MCP server for Qubic — balances, prices, transfers, wallets, and more.

Developer ToolsAdded 8 months ago

io.github.g-digital-by-Garrigues/ead-enterprise-suite

g-digital-by-Garrigues

MCP server for EAD Enterprise Suite - signatures, evidence, notifications, dossiers via AI agents.

Developer ToolsAdded 2 months ago

Add the badge to your site

Show visitors that Unicode Logic Kit is listed here — it’s also the link we check for a free listing.

Unicode Logic Kit — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-fvossel-unicode-logic-kit?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Unicode Logic Kit — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Unicode Logic Kit — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-fvossel-unicode-logic-kit?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.