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.
We read the source, 6 d ago · rules 995398eba69f
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)
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.
result = subprocess.run(
candidate = os.path.join(root, file_name)
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
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.
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.
claude mcp add unicode-logic-kit -- uvx unicode-logic-kit
{
"mcpServers": {
"unicode-logic-kit": {
"command": "uvx",
"args": [
"unicode-logic-kit"
]
}
}
}
[mcp_servers.unicode-logic-kit]
command = "uvx"
args = ["unicode-logic-kit"]
{
"mcpServers": {
"unicode-logic-kit": {
"command": "uvx",
"args": [
"unicode-logic-kit"
]
}
}
}
{
"servers": {
"unicode-logic-kit": {
"type": "stdio",
"command": "uvx",
"args": [
"unicode-logic-kit"
]
}
}
}
Check Java 17 code for C++ translation problems, fix them, and translate it to C++20.
Actual Budget, carefully: deletes preview first, and new transactions check for duplicates.
Privacy-first local phrase-flipped translation for AI chat clients.
Multimodal video analysis MCP — transcription, vision, and OCR for any video URL.
MCP server for Open Archives: Dutch genealogical records and historical page transcriptions.
Prepare and track US PDF faxes with user-approved checkout. No account or subscription.
Local-first PHI detection for source code, LLM prompts, logs, and analytics
Rosetta/PyRosetta protein modeling and Biotite translation for computational biology
Answers built from our own checks of this server.