NestDaddy

Unicode Logic Kit

io.github.fvossel/unicode-logic-kit · v0.35.0

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

Connect Runs on your machine

Terminal
claude mcp add unicode-logic-kit -- uvx unicode-logic-kit==0.35.0
claude_desktop_config.json
{
  "mcpServers": {
    "unicode-logic-kit": {
      "command": "uvx",
      "args": [
        "unicode-logic-kit==0.35.0"
      ]
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "unicode-logic-kit": {
      "command": "uvx",
      "args": [
        "unicode-logic-kit==0.35.0"
      ]
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "unicode-logic-kit": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "unicode-logic-kit==0.35.0"
      ]
    }
  }
}

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Details

Package[email protected] (PYPI, stdio)
First published25 Oct 2026
Last updated25 Oct 2026
Registry nameio.github.fvossel/unicode-logic-kit

More other servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.