---
bezeichner: "io.github.fvossel/unicode-logic-kit"
art: "mcp_server"
slug: "io-github-fvossel-unicode-logic-kit"
paketkoordinate: "pypi:unicode-logic-kit"
status: "aktiv"
homepage: "https://unicode-logic-kit.readthedocs.io/"
erhebungsstand: "2026-10-11T01:17:01.851Z"
namensraum: "io.github.fvossel"
registerseite: "https://tracevero.com/mcp/io-github-fvossel-unicode-logic-kit"
abgerufen_am: "2026-10-12"
zugangsdaten_erforderlich: false
ausfuehrungsort: "lokal"
dateisystem_pfadargument: false
quelloffen_einsehbar: true
roh_beschreibung: "Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order."
version: "0.32.0"
roh_umgebungsvariablen: ""
roh_geheime_pflichtvariablen: ""
roh_transportarten: "stdio"
roh_pfadargumente: ""
roh_repository_url: "https://github.com/fvossel/unicode-logic-kit"
roh_paketquellen: "pypi"
roh_geheime_pflichtkopfzeilen: ""
roh_pfad_umgebungsvariablen: ""
roh_remote_adressen: ""
roh_remote_hosts: ""
roh_statusmeldung: ""
roh_veroeffentlicht_am: "2026-10-10"
roh_aktualisiert_am: "2026-10-10"
roh_schemafassung: "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json"
roh_bereitstellungsform: "paket"
roh_repository_quelle: "github"
roh_repository_unterordner: ""
roh_paketbezeichner: "unicode-logic-kit"
roh_paketversionen: "0.32.0"
roh_laufzeithinweise: "uvx"
roh_umgebungsformate: ""
roh_umgebungsbeschreibungen: ""
roh_symbolformate: ""
roh_verbindungswege: "{\"packages\":[{\"registryType\":\"pypi\",\"identifier\":\"unicode-logic-kit\",\"version\":\"0.32.0\",\"runtimeHint\":\"uvx\",\"transport\":\"stdio\",\"environment\":[],\"additional_arguments_declared\":true}],\"remotes\":[]}"
---

# Unicode Logic Kit

## Measured values

| Property | Value | Source | Collected on | Level of trust | Raw declaration |
| --- | --- | --- | --- | --- | --- |
| Required secrets declared | false | MCP-Register | 2026-10-11T01:17:01.851Z | abgeleitet | roh_geheime_pflichtvariablen: ; roh_geheime_pflichtkopfzeilen: |
| Execution location | lokal | MCP-Register | 2026-10-11T01:17:01.851Z | abgeleitet | roh_transportarten: stdio |
| Path argument present | false | MCP-Register | 2026-10-11T01:17:01.851Z | abgeleitet | roh_pfadargumente: ; roh_pfad_umgebungsvariablen: |
| Repository URL listed | true | MCP-Register | 2026-10-11T01:17:01.851Z | abgeleitet | roh_repository_url: https://github.com/fvossel/unicode-logic-kit |
| Description (raw) | Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order. | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Declared version | 0.32.0 | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Environment variables (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Required secret variables (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Transports (raw) | stdio | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Path arguments (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Repository (raw) | https://github.com/fvossel/unicode-logic-kit | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Package registries (raw) | pypi | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Required secret headers (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Path environment variables (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Remote URLs (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Remote hosts (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Registry status message (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| First listed in the registry (raw) | 2026-10-10 | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Last changed in the registry (raw) | 2026-10-10 | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Schema version of the raw record (raw) | https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Delivery form (raw) | paket | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Repository platform (raw) | github | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Repository subfolder (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Package identifiers (raw) | unicode-logic-kit | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Package versions (raw) | 0.32.0 | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Runtime hints (raw) | uvx | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Environment variable formats (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Environment variable descriptions (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Icon formats (raw) |  | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |
| Connection paths (source structure) | {"packages":[{"registryType":"pypi","identifier":"unicode-logic-kit","version":"0.32.0","runtimeHint":"uvx","transport":"stdio","environment":[],"additional_arguments_declared":true}],"remotes":[]} | MCP-Register | 2026-10-11T01:17:01.851Z | selbstauskunft |  |

## Links

- Namespace: [[namensraum/io-github-fvossel|io.github.fvossel]]

---

- Registry page: <https://tracevero.com/mcp/io-github-fvossel-unicode-logic-kit>
- Retrieved on: 2026-10-12