Prolog Reasoner

stdio
v0.2.1

SWI-Prolog as a logic calculator for LLMs

Автор: rikarazome·Лицензия: MIT· Репозиторий
github
rikarazome
prolog
reasoner

Транспорт

MCP-сервер использует stdio. Локальный процесс обменивается данными через стандартный ввод и вывод.

Открыть конструкторВсе серверы

Похожие MCP-серверы

Benevity

http

Find and engage verified nonprofits for corporate giving

agentarea
catalog
benevity
Автор: catalog

Harvey

http

Run legal research and draft work product

agentarea
catalog
harvey
Автор: catalog

ac.tandem/docs-mcp

http

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.

tandem
docs
Автор: frumu-ai