{"id":"io-github-fvossel-unicode-logic-kit","name":"io.github.fvossel/unicode-logic-kit","title":"Unicode Logic Kit","description":"Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.","category":"ecommerce","categories":["ecommerce"],"flags":[],"score":22,"score_status":"scored","sponsored":false,"health":{"status":"no_remote","latency_ms":null,"tool_count":null,"auth":null,"checked_at":null},"remote":false,"install_link":"https://toolfindr.dev/add?server=io.github.fvossel%2Funicode-logic-kit&ref=tool-finder","details_url":"https://toolfindr.dev/servers/io-github-fvossel-unicode-logic-kit","score_breakdown":{"health":0,"authEase":9,"toolQuality":0,"maintenance":7,"adoption":0,"usage":0,"security":6,"penalties":0,"flags":[],"total":22,"pending":false,"version":"0.3","notes":["Local (stdio) package only: no hosted endpoint to check","GitHub signals are off for everyone: maintenance uses registry dates (half credit)"],"inputs":{"at":1792032678133,"health_status":"no_remote","health_latency_ms":null,"health_auth":null,"tool_count":null,"remotes":0,"packages":1,"repo":{"siblings":1,"canonical":true},"flags":[],"github":false}},"health_error":null,"repo_url":"https://github.com/fvossel/unicode-logic-kit","website_url":"https://unicode-logic-kit.readthedocs.io/","version":"0.33.0","remotes":[]}