cosmic-mcp

All servers

Unicode Logic Kit

io.github.fvossel/unicode-logic-kit · version 0.35.0

Community listing. Not installed or verified by cosmic-mcp. Read the source and its permissions before you run it.

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

https://github.com/fvossel/unicode-logic-kit

Quick facts

  • Listing: Community
  • Published Oct 25, 22:15 UTC
  • Transport: stdio
  • Package: pypi unicode-logic-kit 0.35.0
  • Listed by cosmic-mcp: Nov 9, 04:26 UTC

Language and translation

Setup snippets

Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.

Run it locally (pypi)

uvx 'unicode-logic-kit==0.35.0'

Claude Desktop (claude_desktop_config.json)

{
  "mcpServers": {
    "unicode-logic-kit": {
      "args": [
        "unicode-logic-kit==0.35.0"
      ],
      "command": "uvx"
    }
  }
}

Claude Code

claude mcp add 'unicode-logic-kit' -- uvx 'unicode-logic-kit==0.35.0'

Cursor (.cursor/mcp.json)

{
  "mcpServers": {
    "unicode-logic-kit": {
      "args": [
        "unicode-logic-kit==0.35.0"
      ],
      "command": "uvx"
    }
  }
}

VS Code (.vscode/mcp.json)

{
  "servers": {
    "unicode-logic-kit": {
      "args": [
        "unicode-logic-kit==0.35.0"
      ],
      "command": "uvx",
      "type": "stdio"
    }
  }
}

Related servers