Unicode Logic Kit
MCP-ServerMCP-RegistryUnbekannt
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Herkunft der Beschreibung: Originalquelle
Gemessen: 30.10.2026 · 18 Beobachtungen
Bereiche & Einsatzzwecke
- Bereiche
- Agenten, Skills und MCP
Installation
claude mcp add unicode-logic-kit -- uvx unicode-logic-kitAn der Quelle prüfen
Kompatibilität und Voraussetzungen in der offiziellen Dokumentation prüfen.
https://github.com/fvossel/unicode-logic-kitKlassifikationen
- Art
- Werkzeug
Messverlauf
Vergleichbare Messwerte sind nach Signal und Einheit gruppiert.
Downloads · letzte 7 Tage
278Downloads · 30.10.2026
+199 (+251,9 %)seit 24.10.2026
Genaue Werte · 7 Messungen
| Gemessen | Downloads | Änderung |
|---|---|---|
| 278 | 0 | |
| 278 | 0 | |
| 278 | +199 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | · |