Loading…
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Unicode Logic Kit is an MCP server entry in ChatHome Skills, sourced from Official MCP Registry and scored 78/100. As a Model Context Protocol server, it exposes tools that MCP-compatible LLM clients such as Claude, Cursor, and Copilot can call directly, extending an agent's reach beyond its built-in capabilities. ChatHome Skills discovered this entry through its daily ingest of official registries and GitHub discovery queries, and re-verifies repository facts, freshness signals, and install metadata on every run. The quality score weighs official-registry presence, a working install command, license clarity, GitHub star trajectory, and repository freshness — the full formula is on the Sources page. The install command above is ready to copy. Review the last-pushed date and repository status before adding Unicode Logic Kit to a production agent workflow; the snapshot facts below are point-in-time values from the most recent ingest.
uvx unicode-logic-kit==0.35.0Review the upstream source before running this command.
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-10-25T22:15:46.823771Z",
"publishedAt": "2026-10-25T22:15:46.823771Z",
"statusChangedAt": "2026-10-25T22:15:46.823771Z"
}
},
"server": {
"name": "io.github.fvossel/unicode-logic-kit",
"title": "Unicode Logic Kit",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"version": "0.35.0",
"packages": [
{
"version": "0.35.0",
"transport": {
"type": "stdio"
},
"identifier": "unicode-logic-kit",
"runtimeHint": "uvx",
"registryType": "pypi",
"packageArguments": [
{
"type": "positional",
"value": "mcp",
"description": "The subcommand of the unicode-logic-kit command that starts the server on stdio."
}
],
"runtimeArguments": [
{
"name": "--python",
"type": "named",
"value": ">=3.10",
"description": "The package needs Python 3.10 or newer; uvx otherwise takes the first interpreter it finds."
},
{
"name": "--with",
"type": "named",
"value": "unicode-logic-kit[mcp]==0.35.0",
"description": "The server needs the package's mcp extra (the MCP SDK)."
}
]
}
],
"repository": {
"url": "https://github.com/fvossel/unicode-logic-kit",
"source": "github"
},
"websiteUrl": "https://unicode-logic-kit.readthedocs.io/",
"description": "Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order."
}
}