MCP servers
Prolog Reasoner
SWI-Prolog as a logic calculator for LLMs
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
prolog-reasoner · pypi 0.2.1 · stdio
claude mcp add --transport stdio prolog-reasoner -- uvx prolog-reasoner==0.2.1Server details
- Registry name
- io.github.rikarazome/prolog-reasoner
- Version
- 0.2.1
- Registry status
- active
