DocQA MCP vs Unicode Logic Kit
DocQA MCP is an MCP server published by api.agentsconsultants.com. Marketplaces we read that list it: 1 (Official MCP Registry). Unicode Logic Kit is an MCP server published by fvossel. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-21. This pair was picked by a reader, not by our comparison rule, so search engines are asked not to index the page.
Where each is published
| Marketplace |  Unicode Logic Kit | |
|---|---|---|
| Official MCP Registry | Listed Version: 1.0.2 Downloads/month (npm): 86 Downloads/week (npm): 9 Not marked · First seen |
Listed Version: 0.33.0 Downloads/month (PyPI): 0 Downloads/week (PyPI): 325 Forks (GitHub): 0 Stars (GitHub): 0 Not marked · First seen |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
The facts side by side
| Fact | DocQA MCP | Unicode Logic Kit |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | No figure on GitHub | 0 |
| Forks (GitHub) (differs) | No figure on GitHub | 0 |
| Last release | Not published | Not published |
| Where it runs (differs) | On your machine (docqa-mcp) | On your machine (unicode-logic-kit) |
| Transport | stdio | stdio |
| Tools it declares | Not published | Not published |
| Environment variables it asks for (differs) | 1, secrets among them: 1 | Not published |
| Licence | Not stated | Not stated |
| Repository (differs) | github.com/digitalpromptmarket-beep/docqa-mcp | github.com/fvossel/unicode-logic-kit |
| Changes in the last 7 days | 0 | 0 |
| First seen | 2026-10-11 | 2026-10-11 |
Lines where the two differ have a tinted background and bold values. Where the data itself says which value is better (more marketplaces, a larger figure of the same marketplace, a fresher release, a verified mark on a marketplace that lists both), the better one is also marked green with ▲ and the worse one red with ▼. Where it runs, the transport, the tools, the settings, hooks, the bundle's parts, the licence and the week's changes are marked only as different: more or fewer is not better in itself.
What each says it does
DocQA MCP
AI document verification: catch hallucinations, arithmetic errors, and field mismatches.
Unicode Logic Kit
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
How to run each
DocQA MCP As a local MCP server: npm package
claude mcp add --env "DOCQA_API_KEY=<YOUR_DOCQA_API_KEY>" --transport stdio docqa -- npx -y docqa-mcpRequires: DOCQA_API_KEY (secret)
Unicode Logic Kit As a local MCP server: PyPI package
claude mcp add --transport stdio unicode-logic-kit -- uvx --python ">=3.10" --with "unicode-logic-kit[mcp]==0.33.0" unicode-logic-kit mcpCommands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
Neither one's marketplaces publish a list of tools, so there is nothing to compare.
Settings each asks for
The marketplaces of Unicode Logic Kit publish no settings it asks for, so we do not compare settings.
What it can do: DocQA MCP · What it can do: Unicode Logic Kit · Compare two other plugins
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.