{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.fvossel/unicode-logic-kit","description":"Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.","title":"Unicode Logic Kit","repository":{"url":"https://github.com/fvossel/unicode-logic-kit","source":"github"},"version":"0.32.0","websiteUrl":"https://unicode-logic-kit.readthedocs.io/","packages":[{"registryType":"pypi","identifier":"unicode-logic-kit","version":"0.32.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.32.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"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-10T21:35:07.631303Z","publishedAt":"2026-10-10T21:35:07.631303Z","updatedAt":"2026-10-10T21:35:07.631303Z","isLatest":true}}}],"metadata":{"count":1}}