{"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.35.0","websiteUrl":"https://unicode-logic-kit.readthedocs.io/","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.","type":"named","name":"--python","value":"\u003e=3.10"},{"description":"The server needs the package's mcp extra (the MCP SDK).","type":"named","name":"--with","value":"unicode-logic-kit[mcp]==0.35.0"}],"packageArguments":[{"description":"The subcommand of the unicode-logic-kit command that starts the server on stdio.","type":"positional","value":"mcp"}]}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-10-25T22:15:46.823771Z","publishedAt":"2026-10-25T22:15:46.823771Z","updatedAt":"2026-10-25T22:15:46.823771Z","isLatest":true}}}