io.github.fvossel/unicode-logic-kit
Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
install failed probed 2026-10-14
hint: `z3-solver` (v5.1.0.0) was included because `unicode-logic-kit` (v0.33.0) depends on `z3-solver` hint: Build failures usually indicate a problem with the
- Run it
- uvx unicode-logic-kit==0.33.0 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Repository
- https://github.com/fvossel/unicode-logic-kit
- Website
- https://unicode-logic-kit.readthedocs.io/
- Registry
- active, updated 2026-10-11 · registry entry
- Reachable
- 0 of the last 1 probe
Badge and feed
[](https://mcpcost.ulehla.dev/s/io.github.fvossel/unicode-logic-kit)
An entry for every probe that changed the result, the tool count or the token cost: Atom feed. Add it to a feed reader or a Slack RSS app to hear when the server stops answering or its tool set grows.