io.github.fvossel/unicode-logic-kitother

Unicode Logic Kit

Verified · today

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

Install

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

Our take

Unicode Logic Kit supports parsing, checking, proving, and translating formulas across several logic systems, including first-order, modal, description, and higher-order logic. It is a niche tool for formal-methods, education, and symbolic reasoning users; PyPI packaging is a useful maintenance signal, though the zero-star footprint suggests limited public validation.

reviewed by hand · 2026-10-11

Something wrong or dead here? Report it

Verification record

last verified
today
github stars
0
last commit
today
archived
no
license
MIT
in registry since
2026-10-10

github.com/fvossel/unicode-logic-kit

More in other

browse all →
front-end-checklistother

Front-End Checklist

Verified · 9 days ago

Review frontend code and live pages against 386 quality-gated web development rules.

hand-reviewed74k starschecked 9 days ago

chrome-devtools-mcpother

Chrome DevTools MCP

Verified · 23 days ago

MCP server for Chrome DevTools

hand-reviewed52k stars1.5m dl/wkchecked 23 days ago

reactive-resumeother

Reactive Resume

Verified · 23 days ago

Free open-source resume builder with remote MCP tools for resumes and job applications.

hand-reviewed43k starschecked 23 days ago

mcpother

PostHog MCP Server

Verified · 27 days ago

Official PostHog MCP Server for product analytics, feature flags, experiments, and more.

hand-reviewed40k starschecked 27 days ago

mcp-server-commandsother

mcp-server-commands

Verified · 24 days ago

An MCP server to run arbitrary commands

hand-reviewed39k stars138 dl/wkchecked 24 days ago

openworkother

OpenWork MCP Gateway

Verified · 14 days ago

Your OpenWork org's skills, plugins, workflows, and connections through one OAuth MCP URL.

hand-reviewed24k starschecked 14 days ago