ClaudeWave
rikarazome avatar
rikarazome

prolog-reasoner

View on GitHub

SWI-Prolog as a logic calculator for LLMs — MCP server and Python library

MCP Servers6 stars1 forksPythonMITUpdated 9d ago
Install in Claude Desktop
Method detected: Manual
{
  "mcpServers": {
    "prolog-reasoner": {
      "command": "node",
      "args": ["/path/to/prolog-reasoner/dist/index.js"]
    }
  }
}
1. Copy the snippet above.
2. Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (Mac) or %APPDATA%\Claude\claude_desktop_config.json (Windows).
3. Replace any <placeholder> values with your API keys or paths.
4. Restart Claude Desktop. The MCP server appears automatically.
💡 Clone https://github.com/rikarazome/prolog-reasoner and follow its README for install instructions.
Use cases

MCP Servers overview

README preview not available. Visit the repo on GitHub for full documentation.
anthropicclaudellmlogic-programmingmcpmcp-serverprologpythonreasoningswi-prolog

What people ask about prolog-reasoner

What is rikarazome/prolog-reasoner?

+

rikarazome/prolog-reasoner is mcp servers for the Claude AI ecosystem. SWI-Prolog as a logic calculator for LLMs — MCP server and Python library It has 6 GitHub stars and was last updated 9d ago.

How do I install prolog-reasoner?

+

You can install prolog-reasoner by cloning the repository (https://github.com/rikarazome/prolog-reasoner) or following the README instructions on GitHub. ClaudeWave also provides quick install blocks on this page.

Is rikarazome/prolog-reasoner safe to use?

+

rikarazome/prolog-reasoner has not been audited yet by our security agent. Review the original repository on GitHub before using it in production.

Who maintains rikarazome/prolog-reasoner?

+

rikarazome/prolog-reasoner is maintained by rikarazome. The last recorded GitHub activity is from 9d ago, with 0 open issues.

Are there alternatives to prolog-reasoner?

+

Yes. On ClaudeWave you can browse similar mcp servers at /categories/mcp, sorted by popularity or recent activity.

Deploy prolog-reasoner to your cloud

Ship this repo to production in minutes. Each platform spins up its own environment with editable env vars.

Maintain this repo? Add a badge to your README

Drop the badge into your GitHub README to show it's tracked on ClaudeWave. Each badge links back to this page and reflects the live Trust Score.

Featured on ClaudeWave — rikarazome/prolog-reasoner
[![Featured on ClaudeWave](https://claudewave.com/api/badge/rikarazome-prolog-reasoner)](https://claudewave.com/repo/rikarazome-prolog-reasoner)
<a href="https://claudewave.com/repo/rikarazome-prolog-reasoner"><img src="https://claudewave.com/api/badge/rikarazome-prolog-reasoner" alt="Featured on ClaudeWave — rikarazome/prolog-reasoner" width="320" height="64" /></a>

More MCP Servers