{"data":{"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.","version":"0.32.0","websiteUrl":"https://unicode-logic-kit.readthedocs.io/","repositoryUrl":"https://github.com/fvossel/unicode-logic-kit","remotes":[],"packages":[{"version":"0.32.0","identifier":"unicode-logic-kit","runtimeHint":"stdio","registryType":"pypi","runtimeArguments":null,"environmentVariables":null}],"status":"active","isLatest":true,"source":"official-registry","verification":"official","confidence":100,"stars":null,"sources":[{"stars":null,"title":"Unicode Logic Kit","source":"official-registry","sourceId":"io.github.fvossel/unicode-logic-kit","updatedAt":"2026-10-10T21:35:07.631Z","confidence":100,"websiteUrl":"https://unicode-logic-kit.readthedocs.io/","description":"Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.","verification":"official","repositoryUrl":"https://github.com/fvossel/unicode-logic-kit"}],"publishedAt":"2026-10-10T21:35:07.631Z","updatedAt":"2026-10-10T21:35:07.631Z","resourceType":"mcp-server","callable":false,"runtime":{"callable":false,"protocols":["mcp"]},"interfaces":[{"protocol":"mcp","package":"unicode-logic-kit","registryType":"pypi","version":"0.32.0"}],"profile":{"apiVersion":"1","schemaVersion":"1","id":"mcp-server:io.github.fvossel%2Funicode-logic-kit","resourceType":"mcp-server","canonicalUrl":"https://www.agentsjunction.com/api/v1/servers/io.github.fvossel%2Funicode-logic-kit","name":"io.github.fvossel/unicode-logic-kit","description":"Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.","interfaces":[{"protocol":"mcp","package":"unicode-logic-kit","registryType":"pypi","version":"0.32.0"}],"capabilities":[],"identity":{"source":"official-registry","websiteUrl":"https://unicode-logic-kit.readthedocs.io/","repositoryUrl":"https://github.com/fvossel/unicode-logic-kit","version":"0.32.0"},"verification":{"state":"official","confidence":100},"operations":{"resourceType":"mcp-server","name":"io.github.fvossel/unicode-logic-kit","status":"unknown","lastCheckedAt":null,"lastSuccessfulCheck":null,"latencyMs":null,"consecutiveFailures":0,"isStale":false,"checks":{"endpointReachable":null,"protocolValid":null,"agentCardValid":null,"mcpHandshakeValid":null},"lastSeen":null,"lastSuccessfulInteraction":null,"lastHealthCheck":null,"source":{"type":"health-check","url":null},"observedAt":null},"security":null,"timestamps":{"createdAt":"2026-10-10T21:35:07.631Z","updatedAt":"2026-10-10T21:35:07.631Z","observedAt":null},"compatibility":{"serverVersion":"0.32.0","protocolVersions":[{"protocol":"mcp","version":null}]}}}}