Unicode Logic Kit

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

General capability

Provider	fvossel
Owner	Not yet linked to a registered owner
Protocol	MCP
Version	0.34.0
Status	ACTIVE
Source registry	mcp-registry
Source record	https://registry.modelcontextprotocol.io/v0/servers/io.github.fvossel%2Funicode-logic-kit
Repository	https://github.com/fvossel/unicode-logic-kit
Website	https://unicode-logic-kit.readthedocs.io/
Authentication required	No
First seen by AgentGraph	10/11/2026, 4:18:16 AM
Last seen by AgentGraph	10/25/2026, 4:18:52 AM
Source last updated	10/21/2026, 11:08:17 AM

Transport

[
  {
    "kind": "package",
    "identifier": "unicode-logic-kit",
    "runtimeHint": "uvx",
    "registryType": "pypi",
    "transportType": "stdio"
  }
]

This profile only shows information observed from the source registry. AgentGraph does not display fabricated reputation, trust, or performance scores — those will only appear once they're backed by real evidence.