io.github.rikarazome/prolog-reasoner
SWI-Prolog как логический калькулятор для LLM
AIrikarazome
Локальный · pypi
official
Что это
SWI-Prolog как логический калькулятор для LLM
Как подключить
1Официальный package
pypi · prolog-reasoner==0.2.1
2Установить и запустить в терминале
uvx prolog-reasoner==0.2.1
3Добавить в конфиг MCP-клиента (mcp.json / claude_desktop_config.json)
{
"mcpServers": {
"io-github-rikarazome-prolog-reasoner": {
"command": "uvx",
"args": [
"prolog-reasoner==0.2.1"
]
}
}
}
Вставьте блок в конфиг клиента (Claude Desktop, Claude Code, Cursor, VS Code, Cline). Команда и package собраны из полей официального MCP Registry.