Unicode Logic Kit
Serveur MCPregistre MCPInconnu
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Mesuré: 30 oct. 2026 · 18 observations
Domaines & Usages
- Domaines
- Agents, skills et MCP
Installation
claude mcp add unicode-logic-kit -- uvx unicode-logic-kitÀ vérifier à la source
Compatibilité et prérequis sont à vérifier dans la documentation officielle.
https://github.com/fvossel/unicode-logic-kitClassifications
- Nature
- Outil
Historique des mesures
Les relevés comparables sont regroupés par signal et unité.
Téléchargements · 7 derniers jours
278téléchargements · 30 oct. 2026
+199 (+251,9 %)depuis le 22 oct. 2026
Valeurs exactes · 8 relevés
| Mesuré | téléchargements | Écart |
|---|---|---|
| 278 | 0 | |
| 278 | 0 | |
| 278 | +199 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | 0 | |
| 79 | · |