Skip to content
Publisher listing

Unicode Logic Kit

io.github.fvossel/unicode-logic-kit

Publisher-submitted data · not independently verified

Listed as active Local package v0.35.0

Profile facts from the publisher

  • Registry identity: io.github.fvossel/unicode-logic-kit
  • Published format: local package
  • Publisher-declared transport: stdio
  • Package identifier: unicode-logic-kit
  • Listed version: 0.35.0

These facts are from the Registry; they do not constitute independent validation of any MCP tools.

About this server

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

A local MCP package is not a public HTTP server. Do not interpret the absence of an endpoint as downtime.

Independent technical monitoring is under development.

Authorization: not independently verified
Available tools: not independently verified

Publisher connection options

These endpoints and packages are publisher declarations, not validated integration instructions.

Copy only a published identifier or HTTPS endpoint; follow the client and publisher documentation before connecting. Credentials and approval steps can differ.

Package
unicode-logic-kit
stdio pypi Package version: 0.35.0

Package identifiers are not install commands. Review the package and publisher before running any code.

NexIP Radar / R4

Independent HTTP observations

Publisher listing ≠ Independent HTTP observations

A local package cannot be checked as a public HTTP endpoint.

HTTP results do not verify MCP protocol compatibility, security or available tools. Synthetic tests are never displayed.

Published versions

Cached history from the official Registry; coverage may be incomplete until a separate import runs.

Version history not loaded yet.