io.github.fvossel/unicode-logic-kit
Сервер unicode-logic-kit позволяет парсить, проверять, доказывать и переводить логические формулы: первого порядка, модальные, описательные и высшего порядка. Полезен для работы с формальной логикой.
AIfvossel
Локальный · pypi
Другое
official
Активность: сегодня
Что это
Сервер unicode-logic-kit позволяет парсить, проверять, доказывать и переводить логические формулы: первого порядка, модальные, описательные и высшего порядка. Полезен для работы с формальной логикой.
Как подключить
1Официальный package
pypi · unicode-logic-kit==0.32.0
2Установить и запустить в терминале
uvx --python >=3.10 --with unicode-logic-kit[mcp]==0.32.0 unicode-logic-kit==0.32.0 mcp
3Добавить в конфиг MCP-клиента (mcp.json / claude_desktop_config.json)
{
"mcpServers": {
"io-github-fvossel-unicode-logic-kit": {
"command": "uvx",
"args": [
"--python",
">=3.10",
"--with",
"unicode-logic-kit[mcp]==0.32.0",
"unicode-logic-kit==0.32.0",
"mcp"
]
}
}
}
Вставьте блок в конфиг клиента (Claude Desktop, Claude Code, Cursor, VS Code, Cline). Команда и package собраны из полей официального MCP Registry.