Unicode Logic Kit
Server MCPregistro MCPSconosciuto
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Provenienza della descrizione: Fonte originale
Misurato: 30 ott 2026 · 18 osservazioni
Domini & Utilizzi
- Domini
- Agenti, skill e MCP
Installazione
claude mcp add unicode-logic-kit -- uvx unicode-logic-kitVerifica alla fonte
Verifica compatibilità e requisiti nella documentazione ufficiale.
https://github.com/fvossel/unicode-logic-kitClassificazioni
- Natura
- Strumento
Storico delle misure
Le letture confrontabili sono raggruppate per segnale e unità.
Download · ultimi 7 giorni
278download · 30 ott 2026
+199 (+251,9 %)dal 22 ott 2026
Valori esatti · 8 rilevazioni
| Misurato | download | Variazione |
|---|---|---|
| 278 | 0 | |
| 278 | 0 | |
| 278 | +199 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | · |