Unicode Logic Kit

io.github.fvossel/unicode-logic-kit · v0.33.0 · ecommerce

Unicode Logic Kit is a local (stdio) package with no hosted endpoint. It scores 22/100.

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

Repository · Website · JSON · Add to my inventory

Score 22/100

health	0 / 25
authEase	9 / 15
toolQuality	0 / 15
maintenance	7 / 15
adoption	0 / 10
usage	0 / 10
security	6 / 10

Scoring v0.3, computed 2026-10-14T20:46:16.794Z.

Local (stdio) package only: no hosted endpoint to check
GitHub signals are off for everyone: maintenance uses registry dates (half credit)

Health history

No checks yet.

Tools (0)

Tools are listed after a successful handshake.