Verlauf von Unicode Logic Kit
io.github.fvossel/unicode-logic-kit · Registerstatus: aktiv
Angaben zu diesem Eintrag melden
Jede veröffentlichte Änderung an diesem Eintrag, die jüngste zuerst.
| 2026-10-11 | Deklarierte Version: – → 0.32.0 |
|---|---|
| 2026-10-11 | Repository-Adresse geführt: – → ja |
| 2026-10-11 | Pfadargument vorhanden: – → nein |
| 2026-10-11 | Ausführungsort: – → lokal |
| 2026-10-11 | Pflicht-Geheimnisse deklariert: – → nein |
| 2026-10-11 | Beschreibung (Rohangabe): – → Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order. |
| 2026-10-11 | Im Register geändert am (Rohangabe): – → 2026-10-10 |
| 2026-10-11 | Im Register eingetragen am (Rohangabe): – → 2026-10-10 |
| 2026-10-11 | Statusmeldung des Registers (Rohangabe): – → – |
| 2026-10-11 | Schemafassung des Rohsatzes (Rohangabe): – → https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json |
| 2026-10-11 | Symbolformate (Rohangabe): – → – |
| 2026-10-11 | Beschreibungen der Umgebungsvariablen (Rohangabe): – → – |
| 2026-10-11 | Formate der Umgebungsvariablen (Rohangabe): – → – |
| 2026-10-11 | Bereitstellungsform (Rohangabe): – → paket |
| 2026-10-11 | Remote-Hosts (Rohangabe): – → – |
| 2026-10-11 | Verbindungswege (Quellstruktur): – → {"packages":[{"registryType":"pypi","identifier":"unicode-logic-kit","version":"0.32.0","runtimeHint":"uvx","transport":"stdio","environment":[],"additional_arguments_declared":true}],"remotes":[]} |
| 2026-10-11 | Remote-Adressen (Rohangabe): – → – |
| 2026-10-11 | Laufzeithinweise (Rohangabe): – → uvx |
| 2026-10-11 | Paketversionen (Rohangabe): – → 0.32.0 |
| 2026-10-11 | Paketbezeichner (Rohangabe): – → unicode-logic-kit |
| 2026-10-11 | Paketquellen (Rohangabe): – → pypi |
| 2026-10-11 | Repository-Unterordner (Rohangabe): – → – |
| 2026-10-11 | Repository-Plattform (Rohangabe): – → github |
| 2026-10-11 | Repository (Rohangabe): – → https://github.com/fvossel/unicode-logic-kit |
| 2026-10-11 | Pfad-Umgebungsvariablen (Rohangabe): – → – |
| 2026-10-11 | Pfadargumente (Rohangabe): – → – |
| 2026-10-11 | Transportarten (Rohangabe): – → stdio |
| 2026-10-11 | Geheime Pflichtkopfzeilen (Rohangabe): – → – |
| 2026-10-11 | Geheime Pflichtvariablen (Rohangabe): – → – |
| 2026-10-11 | Umgebungsvariablen (Rohangabe): – → – |
tracevero · https://tracevero.de/mcp/io-github-fvossel-unicode-logic-kit/aenderungen