Unicode Logic Kit MCP server

unicode-logic-kit

<!-- mcp-name: io.github.fvossel/unicode-logic-kit -->

A Python toolkit for logic with Unicode operators — parse, transform, and reason about formulas of classical first-order logic and well beyond it: modal, temporal, hybrid, many-valued, fuzzy, intuitionistic, relevant, second- and third-order, description, dependence/IF, substructural, and a range of further non-classical logics. On top of that sits infrastructure for NL→logic research: one small API a verification loop can drive, one uniform verdict type over a dozen provers, and an evaluation toolbox for scoring LLM-generated formulas against benchmark gold data.

from unicode_logic_kit import MSFLParser, is_valid

phi = MSFLParser().parse(
    "∀x (Human(x) → Mortal(x)) ∧ Human(socrates) → Mortal(socrates)")
print(is_valid(phi))   # True

Renamed in 0.31.0. Up to 0.30.0 this package was unicode-fol-kit

(import unicodefolkit): first-order logic is one of the logics it handles,

not the whole of it. pip install -U unicode-fol-kit still works — it installs

this package and forwards the old import name with a DeprecationWarning — but

new code should pip install unicode-logic-kit and import unicodelogickit.

Nothing else changed its name, the UFK_ environment variables included.

Why this kit?

Shortened. The full README is on GitHub.