MCP server

Unicode Logic Kit

io.github.fvossel/unicode-logic-kit

Checked 25 Oct 2026, 21:11 UTC · Still published on its registry; checked against OSV.dev; never run by us

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

Runs on your computer

Website Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 25 Oct 2026, 21:11 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add unicode-logic-kit -- uvx unicode-logic-kit@0.34.0

Claude Desktop

{"mcpServers":{"unicode-logic-kit":{"command":"uvx","args":["unicode-logic-kit@0.34.0"]}}}

Codex (config.toml)

[mcp_servers.unicode-logic-kit]
command = "uvx"
args = ["unicode-logic-kit@0.34.0"]

Gemini CLI

{"mcpServers":{"unicode-logic-kit":{"command":"uvx","args":["unicode-logic-kit@0.34.0"]}}}

Cursor

{"mcpServers":{"unicode-logic-kit":{"command":"uvx","args":["unicode-logic-kit@0.34.0"]}}}

VS Code

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

Runs on your computer with your permissions: check the package and its source before installing.

Browse

Related MCP servers

SiteCheck
225 pay-per-call agent tools: Polymarket, chain reads, DeFi, web, SEC, KYB, geo, dev, AI. x402
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Agent^Rider
Signed agent identity, trust scoring, credit economy, and social layer for AI agents.
DocMorph Studio
Render Mermaid diagrams, Markdown to PDF and outlines, image OCR, and media metadata cleanup.
Dock
AI workspace for you, your team, and every agent. Tables, docs (images, 4K video), formulas.
FinzData market data
US stocks incl. delisted, futures, CPI/macro vintages, point-in-time GEX, 13F, COT, backtests.
zerm
Agent utility belt: memory, locks, webhook inboxes, timers, DNS, email, URL, timezone, cron
Proxylang website translation
Translate a website into other languages from one script tag. Free trial, no signup.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.fvossel/unicode-logic-kit.svg)](https://aptlynx.net/servers/io.github.fvossel/unicode-logic-kit)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents