Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Run one of the commands below, then add the client config underneath.
Pythonuvx unicode-logic-kit
Paste into Claude Desktop, Cursor (mcp.json), VS Code or any MCP client, then restart the client.
mcpServers{
"mcpServers": {
"unicode-logic-kit": {
"command": "uvx",
"args": [
"unicode-logic-kit"
]
}
}
}
Unicode Logic Kit is listed in the E-commerce category of the MCPNav directory. It is distributed as Python and can be loaded by any client that speaks the Model Context Protocol.
Typical uses include giving your assistant scoped access to the corresponding service so it can answer questions and take actions with real data instead of guessing. Always review what a server can access before you enable it — see our MCP security guide.
Unicode Logic Kit is an MCP server by fvossel. Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Install it with: uvx unicode-logic-kit. Then add the JSON config to your client's MCP settings and restart the client.
The MCP server itself is free to install. The source is public on https://github.com/fvossel/unicode-logic-kit. Any third-party API it calls (such as a search or maps API) may require its own key and billing.
Any MCP-compatible client can use it, including Claude Desktop, Cursor, VS Code, Windsurf and custom agents.