{"name":"io.github.fvossel/unicode-logic-kit","slug":"fvossel-unicode-logic-kit","title":"Unicode Logic Kit","description":"Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.","url":"https://mcp.market/server/fvossel-unicode-logic-kit","rating":null,"grade":"A","score":85,"certified":false,"status":"active","category":"ecommerce","tags":["ecommerce"],"presence":{"score":30,"stars":0,"forks":0,"downloads_week":315,"last_push_at":"2026-10-11T10:11:34.000Z","license":"MIT"},"uptime":null,"claimed":false,"transport":"pypi","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/fvossel/unicode-logic-kit","website":"https://unicode-logic-kit.readthedocs.io/","version":"0.35.0","remotes":[],"packages":[{"registryType":"pypi","identifier":"unicode-logic-kit","version":"0.35.0","runtimeHint":"uvx","transport":{"type":"stdio"},"runtimeArguments":[{"description":"The package needs Python 3.10 or newer; uvx otherwise takes the first interpreter it finds.","value":">=3.10","type":"named","name":"--python"},{"description":"The server needs the package's mcp extra (the MCP SDK).","value":"unicode-logic-kit[mcp]==0.35.0","type":"named","name":"--with"}],"packageArguments":[{"description":"The subcommand of the unicode-logic-kit command that starts the server on stdio.","value":"mcp","type":"positional"}]}],"tools":[],"scan":null,"grade_history":[],"reviews":[]}