SWI-Prolog as a "logic calculator" for LLMs — available as an MCP server and a Python library. Eliminate the black box from LLM logical reasoning.
SWI-Prolog as a "logic calculator" for LLMs — available as an MCP server and a Python library. Eliminate the black box from LLM logical reasoning. The prolog reasoner mcp server wraps that behind the Model Context Protocol, so an assistant can use it through 1 defined tool rather than through you.
prolog-reasoner on PyPI is all you need. Most clients run it directly, so configuration is a few lines and a restart.
Everything the assistant can do here goes through one of these:
Results — Measured on anthropic/claude-sonnet-4-6, single run over 30 problems:You will need 3 environment variables: LLM_API_KEY, SWIPL_PATH, PROLOG_REASONER_LLM_API_KEY. The server will not start without them, which is usually why the tools fail to appear on a first run. Keep credentials in your client's env block or a secrets manager rather than in a file you might commit.
This sits in the AI and media services group, where several servers overlap in what they claim to do but differ sharply once you actually set them up. Prolog Reasoner's toolset — Results — is a fair guide to whether it matches your workflow. It is maintained by rikarazome; worth a glance at recent repository activity before you build anything load-bearing on it.
We check each listing at SyncDev against the project's documentation before it goes live — if something here drifts out of date, it is a bug worth reporting.
| Tool | What it does |
|---|---|
| Results | Measured on anthropic/claude-sonnet-4-6, single run over 30 problems: |
```json
{
"mcpServers": {
"prolog-reasoner": {
"command": "docker",
"args": ["run", "-i", "--rm", "prolog-reasoner"]
}
}
}Configuration as documented by the project. Restart the client after saving.
| Variable | Description | Required |
|---|---|---|
| LLM_API_KEY | Credential the server authenticates with. | Yes |
| SWIPL_PATH | Filesystem location the server is allowed to use. | Optional |
| PROLOG_REASONER_LLM_API_KEY | Credential the server authenticates with. | Yes |
Build a programmable telecommunications stack for connecting telephony services with the Internet via a cloud-based utility.
Search built for AI, not humans — semantic web search that returns model-ready content, plus code context.
Answers, not links — delegate questions to Perplexity's search-grounded models and get cited responses back.
Give your assistant a voice — text-to-speech, voice cloning and audio tools from the ElevenLabs API.
Give your assistant a real code sandbox — isolated cloud VMs for actually running the code it writes.
The ML hub in your context window — search models, datasets, papers and run Spaces from the official server.