mcpbeat Sign in

Unicode Logic Kit MCP Server

local only

Unicode Logic Kit runs on your own machine — the client starts it, so there is no endpoint to ping. 170 installs a week from pypi. Last commit 26 Oct 2026.

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

Installs per day peak 324 · avg 68 · -35% w/w
a month agotoday
170
Installs / week
pypi · unicode-logic-kit
0
Stars
0 open issues
26 Oct 2026
Last commit
from GitHub
MIT
License
Python

What the code does

We read the source, 6 d ago · rules 995398eba69f

Evidence

Things with no honest explanation: a promise that contradicts the code, code that runs at install time while hiding what it does, data leaving the machine.

            _exec(docker, container_name, f"rm -rf {remote_dir}", timeout)
Capabilities

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

We found things in this code

Code changes quietly between releases, and nobody reads the diff of a dependency. We do, on every release — watch Unicode Logic Kit and you get told the day something new turns up.

Three servers free · no card

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

run in your terminal
claude mcp add unicode-logic-kit -- uvx unicode-logic-kit
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "unicode-logic-kit": {
      "command": "uvx",
      "args": [
        "unicode-logic-kit"
      ]
    }
  }
}
~/.codex/config.toml
[mcp_servers.unicode-logic-kit]
command = "uvx"
args = ["unicode-logic-kit"]
.cursor/mcp.json
{
  "mcpServers": {
    "unicode-logic-kit": {
      "command": "uvx",
      "args": [
        "unicode-logic-kit"
      ]
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "unicode-logic-kit": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "unicode-logic-kit"
      ]
    }
  }
}

Alternatives to Unicode Logic Kit

same job, measured the same way
J2C Java to C++
by juangp3

Check Java 17 code for C++ translation problems, fix them, and translate it to C++20.

152 installs/wk local only
Actual Budget
by henfrydls

Actual Budget, carefully: deletes preview first, and new transactions check for duplicates.

674 installs/wk local only
Phrase Flip
by oneill9

Privacy-first local phrase-flipped translation for AI chat clients.

63 installs/wk local only
Contendeo
by contendeo

Multimodal video analysis MCP — transcription, vision, and OCR for any video URL.

answering
Open Archives
by coret

MCP server for Open Archives: Dutch genealogical records and historical page transcriptions.

22 tools answering
FaxOnline
by abrudtkuhl

Prepare and track US PDF faxes with user-approved checkout. No account or subscription.

2 tools answering
Phi Guard MCP
by abidit

Local-first PHI detection for source code, LLM prompts, logs, and analytics

69 installs/wk local only
Rosetta MCP Server
by arielbs

Rosetta/PyRosetta protein modeling and Biotite translation for computational biology

89 installs/wk local only

Unicode Logic Kit — questions

Answers built from our own checks of this server.

Why is there no uptime for Unicode Logic Kit?
Unicode Logic Kit runs on your own machine over stdio — there is no network address to reach, so uptime cannot be measured for it by anyone. What can be measured is adoption: the pypi package unicode-logic-kit was installed 170 times last week.
How do I connect Unicode Logic Kit?
Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It runs locally, so the command pulls unicode-logic-kit straight from pypi; nothing to host, nothing to sign up for.
How many people use Unicode Logic Kit?
The pypi package unicode-logic-kit was installed 170 times in the last week. Week over week that is -35%. We show installs rather than GitHub stars on purpose: a star is a bookmark, an install is someone actually running it.
Is Unicode Logic Kit open source?
Yes — it is published under the MIT licence, written in Python and 0 stars on GitHub. The source link is on this page, so you can read exactly what it does with your data before you connect it.