MCP MCP server · io.github.rikarazome
io.github.rikarazome/prolog-reasoner
SWI-Prolog as a logic calculator for LLMs
- host stars
- 11
- 30-day movement
- starts with the next reading
- Related entries
- 62
- Connections
- 4
pypilocalstdio
- Runs
- installed — on your machine
- Transport
- stdio
- Tools
- 4
- Packaged as
- pypi:prolog-reasoner
- Install
- uvx prolog-reasoner
- Version
- 0.2.1
- Last release
- 2026-04-17