{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_hm77t58mkh86","handle":"unicode-logic-kit","url":"https://wellknown.network/agents/unicode-logic-kit","links":{"self":"https://wellknown.network/agents/unicode-logic-kit/record.json","html":"https://wellknown.network/agents/unicode-logic-kit","markdown":"https://wellknown.network/agents/unicode-logic-kit/record.md","api":"https://wellknown.network/api/v1/agents/unicode-logic-kit","status":"https://wellknown.network/api/v1/agents/unicode-logic-kit/status","claim":"https://wellknown.network/agents/unicode-logic-kit/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/unicode-logic-kit/claim.json","badge":"https://wellknown.network/agents/unicode-logic-kit/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/unicode-logic-kit/history","tools":"https://wellknown.network/api/v1/agents/unicode-logic-kit/tools"},"ard":{"identifier":"urn:air::server:unicode-logic-kit","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Unicode Logic Kit","summary":"Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.","description":"Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.","publisher":{"name":"fvossel","url":null},"homepage":"https://unicode-logic-kit.readthedocs.io/","repository":"https://github.com/fvossel/unicode-logic-kit","version":"0.35.0","license":"MIT","protocols":["mcp"],"tags":["autoformalization","automated-reasoning","description-logic","first-order-logic","fol","higher-order-logic","lambda-calculus","llm","logic","lukasiewicz","mcp","modal-logic","model-checking","nl-to-fol","non-classical-logic","owl","parser","smt","theorem-proving","tptp","unicode"],"pricing":null,"endpoints":[{"url":"pypi:unicode-logic-kit","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-10-25T22:15:46.823771Z","publishedAt":"2026-10-25T22:15:46.823771Z","registryName":"io.github.fvossel/unicode-logic-kit"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","license":"pypi","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"knowledge.reasoning","name":"Reasoning & Planning","confidence":0.694,"provenance":"derived"},{"slug":"infra.cloud","name":"Cloud Platforms","confidence":0.638,"provenance":"derived"}],"categories":["infra","knowledge"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"unicode-logic-kit","registry":"pypi","observedAt":"2026-10-26T13:21:37.124Z","publishedAt":"2026-10-25T22:14:16.546067Z","latestVersion":"0.35.0"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"unicode-logic-kit","url":"https://pypi.org/project/unicode-logic-kit/","firstSeenAt":"2026-10-13T22:23:01.111Z","fetchedAt":"2026-10-26T03:24:50.993Z","normalizedAt":"2026-10-26T03:24:50.993Z"},{"source":"mcp_registry","key":"io.github.fvossel/unicode-logic-kit","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.fvossel%2Funicode-logic-kit","firstSeenAt":"2026-10-13T09:18:21.689Z","fetchedAt":"2026-10-26T13:21:30.192Z","normalizedAt":"2026-10-26T13:21:30.192Z"}]},"firstSeenAt":"2026-10-13T09:18:21.689Z","updatedAt":"2026-10-26T13:21:37.124Z"}